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