@conference {127,
	title = {Maximal Synthesis for Hennessy-Milner Logic},
	booktitle = {ACSD},
	year = {2013},
	author = {Allan van Hulst and Michel A. Reniers and Wan Fokkink}
}