TITLE     : Timed service contract automata
AUTHOR(S) : Basile D, Ter Beek Mh, Legay A
TYPE      : Journal article
YEAR      : 2019
CODE      : 406684

*** DO NOT EDIT THIS FILE ***