Velder, S.; Shalyto, A. Verification of Simple Automata-Based Programs Using the Model Checking Method. ICS 2007, 27-38.