Li Tan Jesung Kim Oleg Sokolsky Insup Lee Model-based Testing and Monitoring for Hybrid Embedded Systems. 487-492 2004 conf/iri/2004 IRI db/conf/iri/iri2004.html#TanKSL04