Bemporad, Alberto and Giorgetti, Nicolò  Logic-based hybrid solvers for optimal control of hybrid systems.   In:  Decision and Control Conference.   IEEE, Maui, Hawaii USA, December 2003, pp. 640-645.  ISBN 0-7803-7924-1       (2003)