@incollection{BeckschulzeSalewskiSiegbertetal.2009,
  author    = {E. Beckschulze and F. Salewski and T. Siegbert and S. Kowalewski},
  title     = {Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications},
  booktitle = {Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08), 2009, vol. 17 in Communications in Computer and Information Science},
  doi       = {10.1007/978-3-540-88479-8_7},
  year      = {2009},
}