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