About the Authors

Stratis Tsirtsis

Roles Data curation, Formal analysis, Investigation, Methodology, Software, Validation, Visualization, Writing – original draft, Writing – review & editing

stsirtsis@mpi-sws.org (ST); manuelgr@mpi-sws.org (MG-R)

Affiliation Μax Planck Institute for Software Systems, Kaiserslautern, Germany

Abir De

Roles Conceptualization, Formal analysis, Methodology, Validation

Affiliation ΙIT Bombay, Mumbai, India

Lars Lorch

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

Affiliation ΕTH Zürich, Zürich, Switzerland

Manuel Gomez-Rodriguez

Roles Conceptualization, Formal analysis, Funding acquisition, Methodology, Project administration, Resources, Supervision, Validation, Writing – original draft, Writing – review & editing

stsirtsis@mpi-sws.org (ST); manuelgr@mpi-sws.org (MG-R)

Affiliation Μax Planck Institute for Software Systems, Kaiserslautern, Germany

Competing Interests

The authors have declared that no competing interests exist.