@conference {255,
	title = {Maximal Synthesis for Hennessy-Milner Logic with the Box Modality},
	booktitle = {Workshop on Discrete Event Systems},
	year = {2014},
	publisher = {IFAC-PapersOnline},
	organization = {IFAC-PapersOnline},
	address = {Cachan, France},
	doi = {10.3182/20140514-3-FR-4046.00034},
	author = {Allan van Hulst and Michel A. Reniers and Wan Fokkink}
}