Hybrid specification of control systems. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; W. J. Toetenel (ICECCS, 1995)

Closed World Specification of Embedded Real-Time Controllers. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; W. J. Toetenel (RTS, 1996)

Automatic Analysis of Embedded Systems Specified in Astral. - Klaas Brink; Leon J. G. Bun; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (HICSS (3), 1998)