MERA: meta language for software engineering | IEEE Conference Publication | IEEE Xplore