Bogomolov, S., D. Magazzeni, A. Podelski, and M. Wehrle. “Planning As Model Checking in Hybrid Domains”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.9037.