@PhdThesis{Trachtenherz:EBLAES2009,
  author =       "David Trachtenherz",
  title =        "{Eigenschaftsorientierte} {Beschreibung} der logischen {Architektur} eingebetteter {Systeme}",
  school =       "Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen",
  year =         "2009",
  ee =           "http://deposit.d-nb.de/cgi-bin/dokserv?idn=995183651",
  URL =          "http://deposit.d-nb.de/cgi-bin/dokserv?idn=995183651&dok_var=d1&dok_ext=pdf&filename=995183651.pdf",
}