TITLE     : A model-checking tool for families of services
AUTHOR(S) : Asirelli P, Ter Beek Mh, Fantechi A, Gnesi S
TYPE      : Conference article
YEAR      : 2011
CODE      : 199878

*** DO NOT EDIT THIS FILE ***