Velder, Sergey, and Anatolii Shalyto. 2007. “Verification of Simple Automata-Based Programs Using the Model Checking Method”. Information and Control Systems, no. 3 (June), 27-38. https://i-us.ru/index.php/ius/article/view/14670.