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 18, 2024. https://ojs.sadio.org.ar/index.php/EJS/article/view/120.