Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models.
J. Greenyer, D. Gritzner, D. Harel, and A. Marron. MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 335-354. Springer, (2018)