“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.