UPPAAL -> System C (Stephan Rieger)