Schneider, S., Schmuck, A.-K., Nestmann, U., & Raisch, J. (2014). Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. In Proceedings of 12th IFAC-IEEE International Workshop on Discrete Event Systems (pp. 214-221).