Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus. ELEKTRON ELEKTROTECH [Internet]. 2008 Jan. 3 [cited 2025 Dec. 5];81(1):45-8. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/11032