@InProceedings{Botaschanjan:SEAS05-46,
  author =       "Jewgenij Botaschanjan and Leonid Kof and Christian
                 K{\"u}hnel and Maria Spichkova",
  title =        "Towards Verified Automotive Software",
  booktitle =    "SEAS '05: Proceedings of the Second International
                 Workshop on Software Engineering for Automotive
                 Systems",
  year =         "2005",
  ISBN =         "1-59593-128-7",
  pages =        "46--51",
  location =     "St. Louis, Missouri",
  ee =           "http://doi.acm.org/10.1145/1083190.1083199",
  publisher =    "ACM",
  URL =          "http://www4.in.tum.de/~botascha/doc/icse05.pdf",
}