Braberman VA. Modeling and Checking Real-Time System Designs. EJS [Internet]. 11Oct.2000 [cited 18May2024];3(1). Available from: https://ojs.sadio.org.ar/index.php/EJS/article/view/120