TY  - RPRT
TI  - Plan Execution Interchange Language (PLEXIL)
AU  - Estlin, Tara
AU  - Jonsson, Ari
AU  - Pasareanu, Corina
AU  - Simmons, Reid
AU  - Tso, Kam
AU  - Verma, Vandi
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20060019246
ID  - 20060019246
ER  -