TITLE     : Models and experiments logs for the article published at "Formal Aspects of Computing 2021"
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2021
CODE      : 456752

*** DO NOT EDIT THIS FILE ***