@misc{indiciaebc006c95d53b,
  title = {Formal Analysis of the Remote Agent Before and After Flight},
  author = {Havelund, Klaus and Lowry, Mike and Park, SeungJoon and Pecheur, Charles and Penix, John and Visser, Willem and White, Jon L.},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20000055731},
  note = {Source identifier: 20000055731}
}