Velder, S., & Shalyto, A. (2007). Verification of simple automata-based programs using the Model Checking method. Information and Control Systems, (3), 27-38. Retrieved from https://i-us.ru/index.php/ius/article/view/14670