Proceedings of the International Workshop on Formalization of Modeling Languages
ACM Digital Library