Jeppu, Melham, Kroening, O'Leary, 2020. Learning Concise Models from Long Execution Traces.