Méthodologie de modélisation et d'évaluation d'applications réparties temps réel sûres de fonctionnement: application, dans le domaine automobile, à l'électronique embarquée et à l'informatique manufacturière. - Christophe Philippe (1997)