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