Zsigmond Pap István Majzik András Pataricza Checking General Safety Criteria on UML Statecharts. 46-55 2001 conf/safecomp/2001 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/2187/21870046.htm db/conf/safecomp/safecomp2001.html#PapMP01