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), pp. 166–174. 10.3311/PPee.9766.