TY - RPRT TI - Explaining Violation Traces with Finite State Natural Language Generation Models AU - Gordon J. Pace AU - Michael Rosner PY - 2014 UR - https://arxiv.org/abs/1406.2298 ID - 1406.2298 ER -