@misc{indiciae3cf9feb7a12e,
  title = {Internal Versus External DSLs for Trace Analysis: Extended Abstract},
  author = {Barringer, Howard and Havelund, Klaus},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20150006089},
  note = {Source identifier: 20150006089}
}