Modelling of real-time embedded systems in an object-oriented design environment with UML | IEEE Conference Publication | IEEE Xplore