TITLE     : Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
AUTHOR(S) : Gnesi S, Latella D, Massink M
TYPE      : Journal article
YEAR      : 2002
CODE      : 43723

*** DO NOT EDIT THIS FILE ***