Modular synthesis of efficient schedules in a timed discrete event plant | Publicación