“Simulation of Mechatronic Systems Using Behavioural Hybrid Process Calculus”. Elektronika ir Elektrotechnika 81, no. 1 (January 3, 2008): 45–48. Accessed December 5, 2025. https://eejournal.ktu.lt/index.php/elt/article/view/11032.