Daisuke Ishii Kazunori Ueda Hiroshi Hosobe Simulation of hybrid systems based on hierarchical interval constraints. 37 2009 SimuTools http://doi.acm.org/10.1145/1537614.1537662 conf/simutools/2009 db/conf/simutools/simutools2009.html#IshiiUH09