1. A.J. Alencar, J.A. Goguen, Ooze: An object oriented z environment, in: Proc. of European Conference on Object Oriented Programming, ECOOP'91, Springer Lecture Notes in Computer Sciences, LNCS n. 512, 1991, pp. 180–199.
2. Specification and verification of reactive system behavior: The railroad crossing example;Armstrong;Journal of Real-Time Systems,1996
3. A spiral model of software development and enhancement;Boehm;IEEE Software,1988
4. G. Booch, Object-oriented design with Applications. Benjamin/Cummings, California, 1994.
5. R. Braek, O. Haugen, Engineering Real-Time Systems: An Object-oriented Methodology using SDL, Prentice Hall, New York, London, 1993.