Tóth, Tamás, and István Majzik. 2017. “Formal Verification of Real-Time Systems With Data Processing”. Periodica Polytechnica Electrical Engineering and Computer Science 61 (2):166-74. https://doi.org/10.3311/PPee.9766.