About the Authors

Wassim Abou-Jaoudé

wabou@sophia.inria.fr

Affiliation COMORE Project-team, INRIA Sophia Antipolis, Sophia Antipolis, France

Madalena Chaves

Affiliation COMORE Project-team, INRIA Sophia Antipolis, Sophia Antipolis, France

Jean-Luc Gouzé

Affiliation COMORE Project-team, INRIA Sophia Antipolis, Sophia Antipolis, France

Competing Interests

The authors have declared that no competing interests exist.

Author Contributions

Conceived and designed the experiments: WA-J MC J-LG. Performed the experiments: WA-J. Analyzed the data: WA-J. Contributed reagents/materials/analysis tools: WA-J MC J-LG. Wrote the paper: WA-J MC J-LG.