Yu Jiang 0001, Han Liu, Houbing Song, Hui Kong, Rui Wang 0024, Yong Guan, Lui Sha. Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Transactions on Intelligent Transportation Systems, 19(10):3320-3333, 2018. [doi]
Abstract is missing.