@article {35,
	title = {Synthesis of reactive switching protocols from temporal logic specifications},
	journal = {IEEE Transactions on Automatic Control},
	year = {2013},
	pages = {1771{\textendash}1785},
	doi = {http://dx.doi.org/10.1109/TAC.2013.2246095},
	author = {Jun Liu and Necmiye Ozay and Ufuk Topcu and Richard M. Murray}
}
