Егоров, К.В., Шалыто, А.А.: Методика верификации автоматных программ. Информационно-управляющие системы(5), 15-21 (2008)