1. Callahan J, Schneider F, Easterbrook S. Automated software testing using model-checking. Proceedings 1996 SPIN Workshop, August 1996. Also WVU Technical Report NASA-IVV-96-022.
2. Utting M, Pretschner A, Legeard B. A taxonomy of model-based testing. Technical Report No. 04/2006, Department of Computer Science, The University of Waikato, New Zealand, April 2006.
3. Checking that finite state concurrent programs satisfy their linear specification