1. Velder S., Shalyto A. Verification of simple automata-based programs using the Model Checking method // Information and Control Systems. 2007. № 3. C. 27-38.