| 1999 | ECRTS | Experiments with parametric verification of real-time systems. | Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel |
| 1998 | ECRTS | XTG-an engineering approach to modelling and analysis of real-time systems. | Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1997 | EuroPar | Analyzing Schedulability of Astral Specifications using Extended Timed Automata. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1997 | RTCSA | Experiences with analysis of formal specifications in Astral. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1996 | ECRTS | Closed World Specification of Embedded Real-Time Controllers. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1996 | RTCSA | Ada 95 as implementation vehicle for formal specifications. | Klaas Brink, Jan van Katwijk, W. J. Toetenel |
| 1995 | ICECCS | Hybrid specification of control systems. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1995 | RTCSA | Comparing formal specifications by measuring. | Jan van Katwijk, W. J. Toetenel |