@conference {440,
	title = {Maximal Synthesis for Hennessy-Milner Logic with the Box Modality},
	booktitle = {12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014.},
	year = {2014},
	doi = {10.3182/20140514-3-FR-4046.00034},
	url = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00034},
	author = {Allan van Hulst and Michel A. Reniers and Wan Fokkink}
}