Interchange Format for Hybrid Systems: Abstract Semantics.

Alessandro Pinto Luca P. Carloni Roberto Passerone Alberto L. Sangiovanni-Vincentelli Interchange Format for Hybrid Systems: Abstract Semantics. 491-506 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_37 db/conf/hybrid/hscc2006.html#PintoCPS06