@inproceedings {331, title = {Checking General Safety Criteria on UML Statecharts}, booktitle = {Computer Safety, Reliability and Security}, year = {2001}, month = {2001}, pages = {46 - 55}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, address = {Berlin ; Heidelberg}, author = {Zsigmond Pap and Istv{\'a}n Majzik and Andr{\'a}s Pataricza} }