1. D. K. Hammer et al., “DEDOS: A Distributed Real-Time Environment”, Parallel & Distributed Technology, IEEE Computer Society, pp. 32–46, 1994
2. J. Hooman, O. van Roosmalen, “A Programming Language Extension for Distributed Real-Time Systems”, Technical report,
http://www.win.tue.nl/win/cs/tt/hooman/DEALtech.html
3. Claus Lewerentz, Thomas Lindner (Editors)Case Study “Production Cell”. A Comparative Study in Formal Software Development. FZI-Publication 1/94Karlsruhe University
4. A Tutorial Introduction to PVS by Judy Crow, Sam Owre, John Rushby, Natarajan Shankar, and Mandayam Srivas. Presented at WIFT’ 95: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, April 1995.
5. Lect Notes Comput Sci;N. Shankar,1996