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