Model-driven development of real-time systems with UML 2.0 and C | IEEE Conference Publication | IEEE Xplore