Generating Sound and Resource-Aware Code from Hybrid Systems Models.

Madhukar Anand Sebastian Fischmeister Jesung Kim Insup Lee Generating Sound and Resource-Aware Code from Hybrid Systems Models. 48-66 2006 ASWSD http://dx.doi.org/10.1007/978-3-540-70930-5_4 conf/aswsd/2006 db/conf/aswsd/aswsd2006.html#AnandFKL06