Velder S, Shalyto A. Verification of simple automata-based programs using the Model Checking method. ICS [Internet]. 20Jun.2007 [cited 19May2024];(3):27-8. Available from: https://i-us.ru/index.php/ius/article/view/14670