Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus. Elektronika ir Elektrotechnika, [S. l.], v. 81, n. 1, p. 45–48, 2008. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/11032.. Acesso em: 5 dec. 2025.