@inproceedings{CASE-2014-ZhaoUH,
	author        = "Mi Zhao and Murat Uzam and Yufan Hou",
	booktitle     = "{Proceedings of the 10th International Conference on Automation Science and Engineering}",
	doi           = "10.1109/CoASE.2014.6899365",
	pages         = "455--460",
	publisher     = "{IEEE}",
	title         = "{A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems}",
	year          = 2014,
}