Heinz, A., Wehrle, M., Bogomolov, S., Magazzeni, D., Greitschus, M. and Podelski, A. (2021) “Temporal Planning as Refinement-Based Model Checking”, Proceedings of the International Conference on Automated Planning and Scheduling, 29(1), pp. 195-199. doi: 10.1609/icaps.v29i1.3476.