Simulation and Verification of Asynchronous Systems by means of a Synchronous Model