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