Object-oriented design of real-time systems with stereotypes | IEEE Conference Publication | IEEE Xplore