@misc{indiciae7f33df2ee8c3,
  title = {Design Aids for Real-Time Systems (DARTS)},
  author = {Szulewski, P. A.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19830024092},
  note = {Source identifier: 19830024092}
}