TITLE     : Modular semantics for a UML statechart diagrams kernel and their extension to multicharts and branching time model checking
AUTHOR(S) : Latella D, Gnesi S, Massink M
TYPE      : Other
YEAR      : 2001
CODE      : 160493

*** DO NOT EDIT THIS FILE ***