TÓTH, Tamás; MAJZIK, István. Formal Verification of Real-Time Systems with Data Processing. Periodica Polytechnica Electrical Engineering and Computer Science, [S. l.], v. 61, n. 2, p. 166–174, 2017. 10.3311/PPee.9766. Disponível em: https://pp.bme.hu/eecs/article/view/9766. Acesso em: 7 may. 2024.