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