@misc{indiciaed069ab2fc09a,
  title = {Definition of an auxiliary processor dedicated to real-time operating system kernels},
  author = {Halang, Wolfgang A.},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19880017476},
  note = {Source identifier: 19880017476}
}