@misc{indiciaeca4beaba17bf,
  title = {Automated Constraint Checking of Spacecraft Command Sequences},
  author = {Horvath, J. C. and Alkalaj, L. J. and Schneider, K. M. and Spitale, J. M. and Le, D.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20060037854},
  note = {Source identifier: 20060037854}
}