TITLE     : A Temporal Logic for UML Statecharts
AUTHOR(S) : Gnesi S, Mazzanti F
TYPE      : Other
YEAR      : 2004
CODE      : 160641

*** DO NOT EDIT THIS FILE ***