EFSMT: A Logical Framework for Cyber-Physical Systems

Chih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek Bensalem

arXiv preprint arXiv:1306.3456, abs/1306.3456

2013