@misc{indiciaee0b1a6552d92,
  title = {Plan-Property Dependencies are Useful: A User Study},
  author = {Rebecca Eifler and Martim Brandao and Amanda Coles and Jeremy Frank and Joerg Hoffmann},
  url = {https://ntrs.nasa.gov/citations/20210015671},
  note = {Source identifier: 20210015671}
}