Conception dirigée par les modèles, en particulier la conception de transformations de modèles et leur vérification. Conception dirigée par simulation, en particulier la simulation discrète, tous appliqués à des domaines autres que l'informatique.