1. Alagar VS, Periyasamy K (1996) Real-time Object-Z: a language for the specification and design of real-time reactive system. Technical report, Department of Computer Science, Concordia University
2. Lecture notes in computer science;N Amálio,2003
3. Carrington D, MacColl I, McDonald J, Murray L, Strooper P (2000) From Object-Z specifications to ClassBench test suites. Softw Test Verif Reliab 10(2):111–137
4. Lecture notes in computer science series;M Cornelio,2000
5. Lecture notes in computer science;VAO Cordeiro,1994