SMarTplan: a Task Planner for Smart Factories
When is Temporal Planning Really Temporal?