@misc{indiciae7788f5b63e0e,
  title = {Feedback-Driven Dynamic Invariant Discovery},
  author = {Zhang, Lingming and Yang, Guowei and Rungta, Neha S. and Person, Suzette and Khurshid, Sarfraz},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20150007883},
  note = {Source identifier: 20150007883}
}