[1]
T. Krilavičius, “Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus”, ELEKTRON ELEKTROTECH, vol. 81, no. 1, pp. 45-48, Jan. 2008.