Schmuck, A.-K., Schneider, S., Raisch, J., & Nestmann, U. (2016). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems, 26(1), 5-32. doi:10.1007/s10626-015-0221-2.