@misc{indiciae2e589fe17b27,
  title = {Security system property decomposition for model checking with the flexible modeling framework (FMF)},
  author = {Powell, J. D.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20060028835},
  note = {Source identifier: 20060028835}
}