A candid industrial evaluation of formal software verification using model checking. - Matthew Bennion; Ibrahim Habli (ICSE Companion, 2014)