A Generic Simulator of Real-Time Scheduling Algorithms. - Stephane de Vroey; Joël Goossens; Christian Hernalsteen (Annual Simulation Symposium, 1996)

Introduction of a Suspend/Resume Operator in ET-LOTOS. - Christian Hernalsteen; Arnaud Février (ARTS, 1997)

A Timed Automaton Model for ET-LOTOS Verification. - Christian Hernalsteen (FORTE, 1997)

A Tool for Statistical Analysis of Hard Real-Time Scheduling Algorithms. - Joël Goossens; Christian Hernalsteen (Annual Simulation Symposium, 1998)