Summary form only given. Existing UML modelling tools provide only a limited support for the analysis of UML statechart diagrams. This paper describes the implementation and integration of an ...