Braberman, V. A. (2000). Modeling and Checking Real-Time System Designs. Electronic Journal of SADIO (EJS), 3(1). Recuperado a partir de https://publicaciones.sadio.org.ar/index.php/EJS/article/view/120