1. Lecture Notes in Computer Science;C. Barrett,1996
2. Bj0rner, N., Browne, A., Colon, M., Finkbeiner, B., Manna, Z., Sipma, H., Uribe, T.: Verifying temporal properties of reactive systems: A STeP tutorial. Formal Methods in System Design (1999)
3. Lecture Notes in Computer Science;E. Brinksma,1991
4. Broy, M.: Interaction refinement—the easy way. In: Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School, Springer, Heidelberg (1993)
5. Lecture Notes in Computer Science;J.R. Burch,1994