TITLE     : Composing event constraints in state-based specification
AUTHOR(S) : Bolognesi T.
TYPE      : Journal article
YEAR      : 2004
CODE      : 43744

*** DO NOT EDIT THIS FILE ***