T. Krilavičius, “Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus”, ELEKTRON ELEKTROTECH, vol. 81, no. 1, pp. 45–48, Jan. 2008, Accessed: Jan. 22, 2026. [Online]. Available: https://eejournal.ktu.lt/index.php/elt/article/view/11032