A Symbolic Rewriting Semantics of the COMPASS Modeling Language | IEEE Conference Publication | IEEE Xplore