@misc{indiciae7184349542bd,
  title = {Modular Certification},
  author = {Rushby, John and Miner, Paul S.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20030001129},
  note = {Source identifier: 20030001129}
}