• Jiang Y, Wang M, Su Z, Yang Y and Wang H. Formal Design of Multi-Function Vehicle Bus Controller. IEEE Transactions on Intelligent Transportation Systems. 10.1109/TITS.2021.3078372. 22:6. (3880-3889).

    https://ieeexplore.ieee.org/document/9438049/