Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore