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