Lauser, T.and C. Krauß. Formal Security Analysis of Vehicle Diagnostic Protocols. ACM, 2023, doi:10.1145/3600160.3600184.