Stefania Gnesi, Diego Latella, Mieke Massink. Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. Journal of Logic and Algebraic Programming, 51(1):43-75, 2002. [doi]
@article{GnesiLM02,
title = {Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking},
author = {Stefania Gnesi and Diego Latella and Mieke Massink},
year = {2002},
doi = {10.1016/S1567-8326(01)00012-1},
url = {http://dx.doi.org/10.1016/S1567-8326(01)00012-1},
tags = {semantics, model checking, meta-model, UML, Meta-Environment},
researchr = {https://researchr.org/publication/GnesiLM02},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {51},
number = {1},
pages = {43-75},
}