Text this: Верификация моделей программ: Model Checking: пер. с англ.