Heinz, A. (2019) “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.