@article {443,
	title = {Maximal Synthesis for Hennessy-Milner Logic},
	journal = {{ACM} Trans. Embedded Comput. Syst.},
	volume = {14},
	year = {2015},
	pages = {10:1{\textendash}10:21},
	doi = {10.1145/2680540},
	url = {http://doi.acm.org/10.1145/2680540},
	author = {Allan C. Van Hulst and Michel A. Reniers and Wan J. Fokkink}
}