Consistent design of embedded real-time systems with UML-RT | IEEE Conference Publication | IEEE Xplore