%0 Journal Article %J Model-Driven Development of Reliable Automotive Services %D 2008 %T An instrumentation-based approach to controller model validation %A Cleaveland, Rance %A Smolka,S. %A Sims,S. %B Model-Driven Development of Reliable Automotive Services %P 84 - 97 %8 2008/// %G eng