CI-LOG : Modéliser, prévoir et vérifier les performances des systèmes combinatoires et séquentiels.