UML 2.0 profile for embedded system design | IEEE Conference Publication | IEEE Xplore