Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems | IEEE Conference Publication | IEEE Xplore