1. Modeling and testing multi-threaded asynchronous systems with Creol;Aichernig;ENTCS,2009
2. Testing against formal specification: A theoretical view;Bernot,1991
3. C. Blundell, D. Giannakopoulou, and C. S. Pasareanu. Assume-guarantee testing. In Proceedings of SAVCBS'05, pages 7–14, 2005.
4. Model-Based Testing of Reactive Systems,2005
5. Colin Campbell and Margus Veanes. State exploration with multiple state groupings, In ASM'05. Laboratory of Algorithms, Complexity, and Logic, University Paris 12, 2005.