Methods of checking general safety criteria in UML statechart specifications. - Zsigmond Pap; István Majzik; András Pataricza; András Szegi (Reliab. Eng. Syst. Saf., 2005)