Bemporad, Alberto and Morari, Manfred Verification of hybrid systems via mathematical programming. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1569 . Springer-Verlag, pp. 31-45. ISBN 78-3-540-65734-7 (1999)