@misc{indiciae464fd6c90291,
  title = {Certification trails and software design for testability},
  author = {Sullivan, Gregory F. and Wilson, Dwight S. and Masson, Gerald M.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940031559},
  note = {Source identifier: 19940031559}
}