Formal Modeling and Verification of Serial Communication for Autonomous Vehicles. - Hyeok-june Jung; Kyeong-sik Park; Cheol-Jin Kim; Young-Guk Ha (BigComp, 2018)