An approach to specification-based attack detection for in-vehicle networks | Synapse