Schmuck, A.-K., Schneider, S., Raisch, J., & Nestmann, U. (2014). Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata Enforcing Controllability Least Restrictively. In Proceedings of the 12th IFAC - IEEE International Workshop on Discrete Event Systems (pp. 286-293).