TITLE     : Controller synthesis of contract-based service product lines: extended version
AUTHOR(S) : Basile D, Ter Beek Mh, Di Giandomenico F, Gnesi S, Degano P, Ferrari Gl, Legay A
TYPE      : Other
YEAR      : 2017
CODE      : 368770

*** DO NOT EDIT THIS FILE ***