A Temporal Planning System for Time-Optimal Planning | Publicación