@misc{indiciaebddc8b11792e,
  title = {Performance analysis and kernel size study of the Lynx real-time operating system},
  author = {Liu, Yuan-Kwei and Gibson, James S. and Fernquist, Alan R.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940034789},
  note = {Source identifier: 19940034789}
}