Braberman, V. A. Modeling and Checking Real-Time System Designs. EJS 2000, 3.