(1)
Simulation of Mechatronic Systems Using Behavioural Hybrid Process Calculus. ELEKTRON ELEKTROTECH 2008, 81 (1), 45-48.