Deshmukh, J.V., Sankaranarayanan, S., “Formal Techniques for Verification and Testing of Cyber-Physical Systems,”