Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus. (2008). Elektronika Ir Elektrotechnika, 81(1), 45-48. https://eejournal.ktu.lt/index.php/elt/article/view/11032