Ce volume est consacré à des études de cas illustrant ou affinant la méthode proposée : modélisation et gestion des tâches dans les systèmes experts, spécification pour la supervision d'un robot, spécification de stratégies expertes pour le diagnostic technique basé sur des méthodes fiabilistes, etc.