S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior”, ICAPS, vol. 25, no. 1, pp. 42-46, Apr. 2015.