Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. - Wenjing Xul; Yongwang Zhao; Dianfu Ma; YuXin Zhang; Qian Xiao (TASE, 2020)