@misc{indiciae8ea3ac622fdf,
  title = {Integrated Rigorous Analysis of CPS: Examples From the Aerospace Domain},
  author = {Paolo Masci},
  url = {https://ntrs.nasa.gov/citations/20220019310},
  note = {Source identifier: 20220019310}
}