Production-grade tool, case study results, and evaluation outcomes.