Simulation and Verification of Asynchronous Systems by means of a Synchronous Model | IEEE Conference Publication | IEEE Xplore