UML for embedded systems specification and design: motivation and overview | IEEE Conference Publication | IEEE Xplore