@misc{1146346,
  author = {James R Lyle and Dolores R Wallace and James R Graham and Keith B Gallagherl Joseph P Poolel David W Binkley},
  title = {Unravel::a case tool to assist evaluation of high integrity software},
  year = {1995},
  month = {1995-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.5691v2},
  language = {en},
}