TITLE     : Model checking UML statechart diagrams using JACK
AUTHOR(S) : Gnesi S, Latella D, Massink M
TYPE      : Conference article
YEAR      : 1999
CODE      : 190553

*** DO NOT EDIT THIS FILE ***