Fault localization using a model checker. - Griesmayer, Andreas; Staber, Stefan; Bloem, Roderick (Software Testing: Verification & Reliability, 2010)