@article{Englmeier2006,
  author    = {Gisbert Englmeier},
  title     = {Mehr Software-Sicherheit, mehr Software : Verl{\"a}sslichkeit durch generalisierende und komponierende Abstraktion},
  pages     = {1 -- 61},
  url       = {http://www.all-electronics.de/wp-content/uploads/migrated/document/180615/703fa4a5eb4.pdf},
  year      = {2006},
}