Compiling SyncCharts to Synchronous C. - Claus Traulsen; T. Amende; Reinhard von Hanxleden (DATE, 2011)