Switches and jumps in hybrid action systems
Rönkkö, Mauno
;
Ravn, Anders P.
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 106-118