@article{180340,
      author = {Gault, James W. and Trivedi, Kishor Shridharbhai, and  Clary, James B.},
      url = {http://library.usi.edu/record/180340},
      title = {Validation methods research for fault-tolerant avionics  and control systems : working group meeting, II :},
      publisher = {National Aeronautics and Space Administration, Scientific  and Technical Information Office ;},
      recid = {180340},
      pages = {v, 100 p. :},
      address = {Washington, D.C. :},
      year = {1980},
}