@inproceedings {329, title = {Completeness and Consistency Analysis of UML Statechart Specifications}, booktitle = {11th European Workshop on Dependable Computing (EWDC-11)}, year = {2000}, month = {2000}, pages = {6 - }, address = {Budapest}, url = {http://mycite.omikk.bme.hu/doc/16332.pdf}, author = {Zsigmond Pap and Istv{\'a}n Majzik and Andr{\'a}s Pataricza and Andr{\'a}s Szegi} }