@incollection{SchlichSalewskiKowalewski2007,
  author    = {B. Schlich and F. Salewski and S. Kowalewski},
  title     = {Applying Model Checking to an Automotive Microcontroller Application},
  booktitle = {Proc. Industrial Embedded Systems (SIES 07), Lisbon, Portugal},
  doi       = {10.1109/SIES.2007.4297337},
  year      = {2007},
}