TITLE     : A Framework for Specifying and Verifying the Behaviour of Open Systems
AUTHOR(S) : Andrea Bracciali, Antonio Brogi, Franco Turini
TYPE      : Journal article
YEAR      : 2005
CODE      : 183545

*** DO NOT EDIT THIS FILE ***