Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. - José M. E. González; Antonio Eduardo Carrilho da Cunha; José E. R. Cury; Bruce H. Krogh (HSCC, 2001)