A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. - Shahid Mahmood; Alexy Fouillade; Hoang Nga Nguyen; Siraj A. Shaikh (ICST Workshops, 2020)