TITLE     : Formal verification of an automotive scenario in service-oriented computing
AUTHOR(S) : Maurice H Ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti
TYPE      : Conference article
YEAR      : 2008
CODE      : 178590

*** DO NOT EDIT THIS FILE ***