Data-Centric Design for Formal Verification of Vehicle Monitoring | IEEE Conference Publication | IEEE Xplore