@misc{indiciaee2a5de5b359f,
  title = {Advanced avionics systems for dependable computing in future space exploration},
  author = {Alkalai, L. and Chau, S. and Tai, A.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20060030897},
  note = {Source identifier: 20060030897}
}