Giorgetti, Nicolò and Pappas, George J. and Bemporad, Alberto Bounded model checking of hybrid dynamical systems. In: Decision and Control and European Control Conference. IEEE, 12th-15th December 2005, pp. 672-677. ISBN 0-7803-9567-0 (2005)