Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. - Jean-Frédéric Étienne; Manuel Maarek; Florent Anseaume; Véronique Delebarre (ICSE (2), 2015)