V. A. Braberman, Modeling and Checking Real-Time System Designs, EJS, vol. 3, n.º 1, oct. 2000.