@article {1329,
	title = {Synthesis of Asynchronous Controllers using Integer Linear Programming},
	journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
	volume = {25},
	year = {2006},
	month = {09/2006},
	pages = {1637-1651},
	author = {J. Carmona and J.M. Colom and J. Cortadella and F. Garc{\'\i}a-Vall{\'e}s}
}

