| |
| | Modelling and Development of Real-Time Systems (TU-Delft) (Site not responding. Last check: 2007-10-09) |
 | | Ton Biegstraaten, Klaas Brink, Jan van Katwijk, Ronald Lutje Spelberg, W.J. Toetenel; A simple railroad controller: A case study in real-time specification using MOSCA Reports of the Faculty of Technical Mathematics and Informatics; 94-87. |
 | | Klaas Brink, Jan van Katwijk, W.J. Toetenel; Applying Formal Software Requirements Specification in the Development of Control Applications In: Katwijk, J. van, Gerbrands, J.J., Steen, M.R. van and Tonino, J.F.M. (eds.); Proceedings of the first annual conference of the ADVANCED SCHOOL for COMPUTING AND IMAGING, ISBN 90-9008344-8, Heijen, The Netherlands, 1995, p.11-17. |
 | | Brink, J. van Katwijk, W.J. Toetenel; Implementation of Distributed Real-Time Specifications in Ada95 In: Kerckhoffs, E.J.H., Sloot, P.M.A., Tonino, J.F.M. and Vossepoel, A.M. (eds.); Proceedings of the second annual conference of the ADVANCED SCHOOL for COMPUTING AND IMAGING, ISBN 90-803086-1-7, Lommel, Belgium, 1996, p.84-89. |
| sepc.twi.tudelft.nl /Realtime.html (976 words) |
|