Incremental discrete controller synthesis for communicating systems based on modular decomposition.