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