Verification of a scheduler in B through a timed automata specification. - Odile Nasr; Jean-Paul Bodeveix; Mamoun Filali; Miloud Rached Irit (SAC, 2006)