Heinz, A.; Wehrle, M.; Bogomolov, S.; Magazzeni, D.; Greitschus, M.; Podelski, A. Temporal Planning As Refinement-Based Model Checking. ICAPS 2021, 29, 195-199.