Tóth, T. and Majzik, I. 2017. Formal Verification of Real-Time Systems with Data Processing. Periodica Polytechnica Electrical Engineering and Computer Science. 61, 2 (Jan. 2017), 166–174. https://doi.org/10.3311/PPee.9766.