Using Synchronizers for Refining Synchronous Communication onto Hardware/Software Architectures | IEEE Conference Publication | IEEE Xplore