Robustness Verification Challenges in Automotive Telematics Software. - Ali Shahrokni; Robert Feldt; Fredrik Petterson; Anders Back (SEKE, 2009)