T.-L. Kao, S.-Y. Wang, and M.-H. Wu, “Development of Automatic Verification Environment for In-Vehicle Controller Area Network”, IJRITCC, vol. 7, no. 5, pp. 05–10, May 2019.