Automatic Code Generation from Real-Time Systems Specifications. - Laura Carnevali; Dario D'Amico; Lorenzo Ridi; Enrico Vicario (IEEE International Workshop on Rapid System Prototyping, 2009)