Tóth T, Majzik I. Formal Verification of Real-Time Systems with Data Processing. Period. Polytech. Elec. Eng. Comp. Sci. [Internet]. 2017 Jan. 1 [cited 2024 Dec. 28];61(2):166-74. Available from: https://pp.bme.hu/eecs/article/view/9766