@misc{indiciae5d6149ac4b2f,
  title = {Modeling the Europa Pathfinder avionics system with a model based avionics architecture tool},
  author = {Chau, S. and Traylor, M. and Hall, R. and Whitfield, A.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20060031954},
  note = {Source identifier: 20060031954}
}