Schmuck, A.-K., Schneider, S., Raisch, J., & Nestmann, U. (2014). Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. IFAC Proceedings Volumes, 47(2), 286-293.