A compact timed state space approach for the analysis of manufacturing systems: key algorithmic improvements | Publicación