Braberman, Víctor Adrián. 2000. Modeling and Checking Real-Time System Designs. Electronic Journal of SADIO (EJS) 3 (1). https://publicaciones.sadio.org.ar/index.php/EJS/article/view/120.