Alberto L. Sangiovanni-Vincentelli Thomas A. Henzinger Bruce H. Krogh Oded Maler Manfred Morari Costas C. Pantelides George J. Pappas Tunc Simsec Janos Sztipanovits Stavros Tripakis Hybrid Systems Applications: An Oxymoron? 5-6 2001 conf/hybrid/2001 HSCC http://link.springer.de/link/service/series/0558/bibs/2034/20340005.htm db/conf/hybrid/hscc2001.html#Sangiovanni-VincentelliHKMMPPSST01