A comparison between handwritten and automatic generation of C code from SDL using static analysis. - Marcello Becucci; Alessandro Fantechi; Marco Giromini; Emilio Spinicci (Softw. Pract. Exp., 2005)