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

*** DO NOT EDIT THIS FILE ***