Boolean Parametric Data Flow Modeling - Analyses - Implementation. (Modèles de calculs flot de données avec paramètres entiers et booléens. Modélisation - Analyses - Mise en oeuvre). - Evangelos Bempelis (2015)