Henning Bordihn Markus Holzer Martin Kutrib Hybrid Extended Finite Automata. 34-45 2006 conf/wia/2006 CIAA http://dx.doi.org/10.1007/11812128_5 db/conf/wia/ciaa2006.html#BordihnHK06