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