@article {393,
	title = {Compositional Construction of Most General Controllers},
	journal = {Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2},
	volume = {52},
	year = {2015},
	pages = {443{\textendash}482},
	author = {Joachim Klein and Christel Baier and Sascha Kl{\"u}ppelholz}
}