@misc{indiciaec4446c5146aa,
  title = {Reliability models for dataflow computer systems},
  author = {Kavi, K. M. and Buckles, B. P.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19850019232},
  note = {Source identifier: 19850019232}
}