Towards Provable Protocol Conformance of Serial Automotive Communication IP

Jens E. Becker, Oliver Sander, Alexander Klimm, J¨urgen Becker, Katharina Weinberger, and Slava Bulach