T. Tóth and I. Majzik, “Formal Verification of Real-Time Systems with Data Processing”, Period. Polytech. Elec. Eng. Comp. Sci., vol. 61, no. 2, pp. 166–174, Jan. 2017.