1. State-based model checking of event-driven system requirements;Atlee,1991
2. A comparative assessment of formal specification techniques;Avizienis,1990
3. Process Algebra;Baeten,1990
4. Now you may compose temporal logic specifications;Barringer,1984
5. Algebraic specification in CASL;Baumeister,2001