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