@misc{indiciaedc4e9f8e2888,
  title = {Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)},
  author = {Butler, Ricky W. and Munoz, Cesar A. and Siminiceanu, Radu I.},
  year = {2007},
  url = {https://ntrs.nasa.gov/citations/20080000874},
  note = {Source identifier: 20080000874}
}