Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots