Thomas Weigert Frank Weil Aswin van den Berg Paul Dietz Kevin Marth Automated Code Generation for Industrial-Strength Systems. 464-472 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.26 conf/compsac/2008 db/conf/compsac/compsac2008.html#WeigertWBDM08