@inproceedings{DBLP:conf/sies/SchlichSK07,
  author    = {Bastian Schlich and
               Falk Salewski and
               Stefan Kowalewski},
  title     = {Applying Model Checking to an Automotive Microcontroller
               Application},
  booktitle = {SIES},
  year      = {2007},
  pages     = {209-216},
  ee        = {http://dx.doi.org/10.1109/SIES.2007.4297337},
  crossref  = {DBLP:conf/sies/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sies/2007,
  title     = {IEEE Second International Symposium on Industrial Embedded
               Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal,
               4-6 July 2007},
  booktitle = {SIES},
  publisher = {IEEE},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}