Modeling and Verification of Hybrid Systems Based on Equations. - Kazuhiro Ogata 001; Daigo Yamagishi; Takahiro Seino; Kokichi Futatsugi (DIPES, 2004)