An approach to specification-based attack detection for in-vehicle networks | IEEE Conference Publication | IEEE Xplore