"Верификация автоматных программ: Учебное пособие" - читать интересную книгу автора (Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов...)