Torrisi, Fabio Danilo and Bemporad, Alberto  Discrete-time hybrid modeling and verification.   In:  Decision and Control Conference.   IEEE, Orlando, Florida USA, December 2001, pp. 2899-2904.  ISBN 0-7803-7061-9       (2001)