@inproceedings{TaeubrichvH07,
  author = {Jan T\"aubrich and Reinhard von Hanxleden},
  title = {Formal Specification and Analysis of {AFDX} Redundancy Management Algorithms},
  booktitle = {Proceedings of the 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP '07)},
  year = {2007},
  address = {Nuremberg, Germany},
  month = {September},
  series = {LNCS},
  volume = {4680},
  doi = {10.1007/978-3-540-75101-4_42},
  pdf = {safecomp07.pdf},
  htmlnote = {The \href{http://www.springerlink.com/content/t125203797311226}{original publication} is available at \href{http://www.springerlink.com}{www.springerlink.com}.},
}