@conference {12806,
	title = {Validating Automotive Control Software Using Instrumentation-Based Verification},
	booktitle = {Automated Software Engineering, International Conference on},
	year = {2009},
	month = {2009///},
	pages = {15 - 25},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Los Alamitos, CA, USA},
	abstract = {This paper discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production automotive lighting controller. The goal of the study is to assess, from both a tools as well as a methodological perspective, the performance of IBV in an industrial setting. The insights obtained as a result of the project include a refinement of a previously developed architecture for requirements specifications; observations about changes to model-based design workflows; insights into the role of requirements during development; and the capability of automated verification to detect inconsistencies among requirements as well as between requirements and design models.},
	doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.98},
	author = {Ray,Arnab and Morschhaeuser,Iris and Ackermann,Chris and Cleaveland, Rance and Shelton,Charles and Martin,Chris}
}
