@inproceedings {330, title = {Formal Validation of UML Statechart Diagrams Models}, booktitle = {UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language)}, year = {2000}, month = {2000}, pages = {* - 7}, url = {http://mycite.omikk.bme.hu/doc/16334.pdf}, author = {Stefania Gnesi and Diego Latella and Istv{\'a}n Majzik and Mieke Massink} }