Верификация моделей программ: Model Checking: пер. с англ. - Кларк, мл. Э. М. Эдмунд М. (Москва, МЦНМО, 2002)