Braberman, V.A. 2000. Modeling and Checking Real-Time System Designs. Electronic Journal of SADIO (EJS). 3, 1 (oct. 2000).