TITLE     : An experience on formal analysis of a high-level graphical SOA design
AUTHOR(S) : Ter Beek M H, Mazzanti F, Sulova A
TYPE      : Conference article
YEAR      : 2010
CODE      : 92121

*** DO NOT EDIT THIS FILE ***