COURS DE K. MITRA : ANALYSE TEMPORELLE DES SYSTEMES DISCRETS