Communication software synthesis from UML-ESL models | IEEE Conference Publication | IEEE Xplore