TITLE     : Timed service contract automata
AUTHOR(S) : Basile D., Ter Beek M. H., Legay A.
TYPE      : Journal article
YEAR      : 2020
CODE      : 406684

*** DO NOT EDIT THIS FILE ***