About the Authors

Marco Mauri

Roles Formal analysis, Methodology, Software, Visualization, Writing – original draft

Affiliation Univ. Grenoble Alpes, Inria, 38000 Grenoble, France

Jean-Luc Gouzé

Roles Conceptualization, Methodology, Writing – review & editing

Affiliation University Côte d’Azur, Inria, INRAE, CNRS, Sorbonne Université, Biocore Team, 06902 Sophia-Antipolis, France

Hidde de Jong

Contributed equally to this work with: Hidde de Jong, Eugenio Cinquemani

Roles Conceptualization, Formal analysis, Methodology, Writing – original draft, Writing – review & editing

hidde.de-jong@inria.fr (HdJ); eugenio.cinquemani@inria.fr (EC)

Affiliation Univ. Grenoble Alpes, Inria, 38000 Grenoble, France

Eugenio Cinquemani

Contributed equally to this work with: Hidde de Jong, Eugenio Cinquemani

Roles Conceptualization, Formal analysis, Methodology, Writing – original draft, Writing – review & editing

hidde.de-jong@inria.fr (HdJ); eugenio.cinquemani@inria.fr (EC)

Affiliation Univ. Grenoble Alpes, Inria, 38000 Grenoble, France

Competing Interests

The authors have declared that no competing interests exist.