@article {12829,
	title = {An instrumentation-based approach to controller model validation},
	journal = {Model-Driven Development of Reliable Automotive Services},
	year = {2008},
	month = {2008///},
	pages = {84 - 97},
	author = {Cleaveland, Rance and Smolka,S. and Sims,S.}
}
