S. Bogomolov, D. Magazzeni, A. Podelski, and M. Wehrle, “Planning as Model Checking in Hybrid Domains”, AAAI, vol. 28, no. 1, Jun. 2014.