Practical End-to-End Verification of Cyber-Physical Systems