Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles. (Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture). - Bilel Benhamamouch (2011)