Velder, S. and Shalyto, A. 2007. Verification of simple automata-based programs using the Model Checking method. Information and Control Systems. 3 (Jun. 2007), 27-38.