Meeko Oishi Interface Verification: Discrete Abstractions of Hybrid Systems. 340-341 2002 conf/sara/2002 SARA http://link.springer.de/link/service/series/0558/bibs/2371/23710340.htm db/conf/sara/sara2002.html#Oishi02