@article{703676,
      recid = {703676},
      author = {Broy, M., and Kalus, Georg. and Peled, Doron,},
      title = {Engineering dependable software systems [electronic  resource] /. NATO Advanced Study Institute on Engineering  Dependable Software Systems},
      pages = {1 online resource (376 pages) :},
      note = {"Proceedings of the NATO Advanced Study Institute on  Engineering Dependable Software Systems, Marktoberdorf,  Germany, 31 July - 12 August 2012"--Title page verso.},
      url = {http://library.usi.edu/record/703676},
}