https://5dok.org/document/6qmekg7z-temporal-planning-repair-repairing-temporal-replanning-temporal-operators.html