@book{Salewski2008,
  author    = {F. Salewski},
  title     = {Empirical Evaluations of Safety-Critical Embedded Systems, PhD Thesis},
  year      = {2008},
}