A. Heinz, M. Wehrle, S. Bogomolov, D. Magazzeni, M. Greitschus, and A. Podelski, “Temporal Planning as Refinement-Based Model Checking”, ICAPS, vol. 29, no. 1, pp. 195-199, May 2021.