@inproceedings {43,
	title = {Switching control of differential-algebraic equations with temporal logic specifications},
	booktitle = {American Control Conference (ACC)},
	year = {2015},
	doi = {http://dx.doi.org/10.1109/ACC.2015.7171017},
	author = {Yinan Li and Jun Liu}
}
