Ning Ge, Marc Pantel, Xavier Crégut: Automated Failure Analysis in Model Checking Based on Data Mining. MEDI 2014: 13-28