Mignone, Domenico and Bemporad, Alberto and Morari, Manfred  A framework for control, fault detection, state estimation and verification of hybrid systems.   In:  American Control Conference.   IEEE, San Diego, California, June 1999, pp. 134-138.  ISBN 0-7803-4990-3       (1999)