Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus. ELEKTRON ELEKTROTECH. 2008;81(1):45-48. Accessed December 5, 2025. https://eejournal.ktu.lt/index.php/elt/article/view/11032