Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems | IEEE Conference Publication | IEEE Xplore