A UML-based design methodology for real-time and embedded systems | IEEE Conference Publication | IEEE Xplore