Егоров, К. В., & Шалыто, А. А. (2008). Методика верификации автоматных программ. Информационно-управляющие системы, (5), 15-21. извлечено от https://i-us.ru/index.php/ius/article/view/14782