A. Cimatti, A. Micheli, and M. Roveri, “Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic”, AAAI, vol. 31, no. 1, Feb. 2017.