@misc{indiciae21384701e68b,
  title = {Requirements Specification Language (RSL) and supporting tools},
  author = {Frincke, Deborah and Wolber, Dave and Fisher, Gene and Cohen, Gerald C.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19930003157},
  note = {Source identifier: 19930003157}
}