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

Spécification et vérification d'un ordonnanceur en B via les automates temporisés. - Odile Nasr; M. Rached; Jean-Paul Bodeveix; Mamoun Filali (Obj. Logiciel Base données Réseaux, 2008)