Bogomolov, S.; Magazzeni, D.; Minopoli, S.; Wehrle, M. PDDL+ Planning With Hybrid Automata: Foundations of Translating Must Behavior. ICAPS 2015, 25, 42-46.