Challenges and Directions in Formalizing the Semantics of Modeling Languages Barrett R. Bryant; Jeff Gray; Marjan Mernik; Peter J. Clarke; Robert B. France; Gabor Karsai — 2011 Computer Science and Information Systems