Model Transformation Across Devs and Event Graph Formalisms | IEEE Conference Publication | IEEE Xplore