A formal semantics of uml statecharts by model transition systems (2002)

by D Varró
Venue:In Processings of ICGT 2002: International Conference on Graph Transformation