Sebastian Engell Sven Lohmann Olaf Stursberg Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. 307-312 2005 15 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S021819400500204X db/journals/ijseke/ijseke15.html#EngellLS05