@inproceedings {40,
	title = {Efficient control synthesis for augmented finite transition systems with an application to switching protocols},
	booktitle = {American Control Conference (ACC)},
	year = {2014},
	doi = {http://dx.doi.org/10.1109/ACC.2014.6859428},
	author = {Fei Sun and Necmiye Ozay and Eric M. Wolff and Richard M. Murray}
}
