Validation Coverage for a Component-based SDL model of a Railway Signaling System. - Michele Banci; Marcello Becucci; Alessandro Fantechi; Emilio Spinicci (TACoS, 2004)

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)