Ali Shahrokni Robert Feldt Fredrik Petterson Anders Back Robustness Verification Challenges in Automotive Telematics Software. 460-465 2009 SEKE conf/seke/2009 db/conf/seke/seke2009.html#ShahrokniFPB09