@inproceedings {27,
	title = {Switching protocol synthesis for temporal logic specifications},
	booktitle = {American Control Conference (ACC)},
	year = {2012},
	doi = {10.1109/ACC.2012.6315040},
	author = {Jun Liu and Necmiye Ozay and Ufuk Topcu and Richard M. Murray}
}
