@misc{indiciaef27c543c0b01,
  title = {Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes},
  author = {Thompson, Jeffrey M. and Heimdahl, Mats P. E. and Erickson, Debra M.},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20000055727},
  note = {Source identifier: 20000055727}
}