Верификация автоматных программ. Вельдер С.Э