Validating Automotive Control Software Using Instrumentation-Based Verification. - Arnab Ray; Iris Morschhaeuser; Christopher Ackermann; Rance Cleaveland; Charles P. Shelton; Chris Martin (ASE, 2009)