A Model-Based Security Testing Approach for Automotive Over-The-Air Updates - Mahmood, Shahid; Fouillade, Alexy; Nguyen, Hoang Nga; Shaikh, Siraj A. (2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Software Testing, Verification and Validation Workshops (ICSTW), 2020 IEEE International Conference on, 2020)