@misc{indiciae9ccc5fd9244d,
  title = {Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace Analysis},
  author = {Barringer, Howard and Havelund, Klaus and Morris, Robert A.},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20120013817},
  note = {Source identifier: 20120013817}
}