Title Modular Composition of Synchronous Programs : Applications to Traffic Signal Control Permalink