UML-based analysis of embedded systems using a mapping to VHDL | IEEE Conference Publication | IEEE Xplore