Кларк Э. М. Верификация моделей программ: Model Checking / Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского. - М. : МЦНМО, 2002. - 416 с.: ил.