Action semantics for defining dynamic semantics of modeling languages. - Gijs Stuurman; Ivan Kurtev (BM-FA, 2011)