Henrik Nilsson John Peterson Paul Hudak Functional Hybrid Modeling. 376-390 2003 conf/padl/2003 PADL http://link.springer.de/link/service/series/0558/bibs/2562/25620376.htm db/conf/padl/padl2003.html#NilssonPH03