Characterising embedded applications using a UML profile | IEEE Conference Publication | IEEE Xplore