SEAL A simple language for prototyping action-event specifications. - Klaas Brink; Ronald Huijsman; Jan van Katwijk (Microprocess. Microprogramming, 1993)

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)

Ada 95 as implementation vehicle for formal specifications. - Klaas Brink; Jan van Katwijk; W. J. Toetenel (RTCSA, 1996)

Analyzing Schedulability of Astral Specifications using Extended Timed Automata. - Klaas Brink; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (Euro-Par, 1997)

Experiences with analysis of formal specifications in Astral. - Klaas Brink; Jan van Katwijk; Ronald F. Lutje Spelberg; W. J. Toetenel (RTCSA, 1997)

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)

Soft-errors resilient logic optimization for low power. - Sujan Pandey; Klaas Brink (IOLTS, 2012)