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)