@incollection{ThumsSchellhorn2003,
  author    = {Andreas Thums and Gerhard Schellhorn},
  title     = {Formal safety analysis in transportation control},
  booktitle = {International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23 - 24 April 2002, Braunschweig},
  editor    = {Eckehard Schnieder},
  isbn      = {978-3-18-353512-5},
  year      = {2003},
}