Generating OMNeT++ specifications from UML models for PSoC distributed applications | IEEE Conference Publication | IEEE Xplore