Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications