@inbook {3481,
	title = {Automotive Software: A Challenge and Opportunity for Model-Based Software Development},
	booktitle = {Lecture Notes in Computer Science},
	volume = {4147},
	year = {2006},
	publisher = {Springer},
	organization = {Springer},
	author = {Karsai, Gabor}
}
