Controller Area Network Discrete-Event System Specification For Independent Node Testing | IEEE Conference Publication | IEEE Xplore