Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion: Using process algebra to statically analyze incremental propagation graphs. MoDELS (Workshops) 2018: 160-173