Bogomolov, S., D. Magazzeni, S. Minopoli, and M. Wehrle. “PDDL+ Planning With Hybrid Automata: Foundations of Translating Must Behavior”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 25, no. 1, Apr. 2015, pp. 42-46, doi:10.1609/icaps.v25i1.13717.