@misc{indiciae7bd73504f404,
  title = {State analysis requirements database for engineering complex embedded systems},
  author = {Bennett, Matthew B. and Rasmussen, Robert D. and Ingham, Michel D.},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20060043974},
  note = {Source identifier: 20060043974}
}