TITLE     : Controller synthesis of service contracts with variability
AUTHOR(S) : Basile D., Ter Beek M. H., Degano P., Legay A., Ferrari G.  L., Gnesi S., Di Giandomenico F.
TYPE      : Journal article
YEAR      : 2020
CODE      : 409807

*** DO NOT EDIT THIS FILE ***