Checking General Safety Criteria on UML Statecharts. - Zsigmond Pap; István Majzik; András Pataricza (SAFECOMP, 2001)

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. - György Csertán; Gábor Huszerl; István Majzik; Zsigmond Pap; András Pataricza; Dániel Varró (ASE, 2002)

Static Safety Analysis of UML Action Semantics for Critical Systems Development. - Zsigmond Pap; Dániel Varró (GI Jahrestagung (1), 2004)

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)