@misc{indiciae73df1b0cb4c4,
  title = {Plan Execution Interchange Language (PLEXIL)},
  author = {Estlin, Tara and Jonsson, Ari and Pasareanu, Corina and Simmons, Reid and Tso, Kam and Verma, Vandi},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060019246},
  note = {Source identifier: 20060019246}
}