← Simulation and Synthesis Techniques for Asynchronous …