The PERF Approach for Formal Verification. - Nazim Benaïssa; David Bonvoisin; Abderrahmane Feliachi; Julien Ordioni (RSSRail, 2016)