VELDER, S.; SHALYTO, A. Verification of simple automata-based programs using the Model Checking method. Information and Control Systems, n. 3, p. 27-38, 20 jun. 2007.