Formal Modeling and Verification of Serial Communication for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore