@article{391730,
      author = {Jackson, Daniel. and Millett, Lynette I. and Thomas,  Martyn.},
      url = {http://library.usi.edu/record/391730},
      title = {Software for dependable systems sufficient evidence? /  [electronic resource] :},
      publisher = {National Academies Press,},
      recid = {391730},
      pages = {xv, 131 p. :},
      address = {Washington, D.C. :},
      year = {2007},
}