Claire Tomlin Ian Mitchell Alexandre M. Bayen Meeko Oishi Computational techniques for the verification of hybrid systems. 986-1001 2003 91 Proceedings of the IEEE 7 db/journals/pieee/pieee91.html#TomlinMBO03