Kao, T.-L.; Wang, S.-Y.; Wu, M.-H. Development of Automatic Verification Environment for In-Vehicle Controller Area Network. IJRITCC 2019, 7, 05-10.