Rajeev Alur Franjo Ivancic Jesung Kim Insup Lee Oleg Sokolsky Generating embedded software from hierarchical hybrid models. 171-182 2003 conf/lctrts/2003 LCTES http://doi.acm.org/10.1145/780732.780756 db/conf/lctrts/lctes2003.html#AlurIKLS03