BRABERMAN, V. A. Modeling and Checking Real-Time System Designs. Electronic Journal of SADIO (EJS), v. 3, n. 1, 11 out. 2000.