Вельдер, Сергей Эдуардович, и Анатолий Абрамович Шалыто. О верификации простых автоматных программ на основе метода Model Checking. Информационно-управляющие системы, no. 3 (июнь 20, 2007): 27-38. просмотрено май 19, 2024. https://i-us.ru/index.php/ius/article/view/14670.