Э. М. Кларк, О. Грамберг, Д. Пелед. Верификация моделей программ. Model Checking