Bogomolov, S.; Magazzeni, D.; Podelski, A.; Wehrle, M. Planning As Model Checking in Hybrid Domains. AAAI 2014, 28.