@article{Cheng2013b, author = {Cheng, Chih-Hong and Shankar, Natarajan and Rue{\ss}, Harald and Bensalem, Saddek}, editor = {Maciaszek, Leszek A. and Cuzzocrea, Alfredo and Cordeiro, Jos{\'{e}}}, title = {EFSMT: A Logical Framework for Cyber-Physical Systems}, journal = {arXiv preprint arXiv:1306.3456}, volume = {abs/1306.3456}, year = {2013}, timestamp = 2013.08.20, owner = {jeraj}, }