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