@misc{indiciae8a8a502f9fe1,
  title = {High Assurance Systems Engineering},
  author = {Chau, S.},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20060034389},
  note = {Source identifier: 20060034389}
}