@article{722153,
      recid = {722153},
      author = {Grumberg, Orna, and Seidl, Helmut, and Irlbeck,  Maximilian,},
      title = {Software systems safety [electronic resource] /},
      pages = {1 online resource (396 pages) :},
      url = {http://library.usi.edu/record/722153},
}