TITLE     : Automata-based behavioural contracts with action correlation
AUTHOR(S) : Basile D., Pugliese R., Tiezzi F., Degano P., Ferrari G.  L.
TYPE      : Contribution to book
YEAR      : 2019
CODE      : 412706

*** DO NOT EDIT THIS FILE ***