@misc{indiciae84750d3678c4,
  title = {Characterization of real-time computers},
  author = {Shin, K. G. and Krishna, C. M.},
  year = {1984},
  url = {https://ntrs.nasa.gov/citations/19840022732},
  note = {Source identifier: 19840022732}
}