MEDAL: a case tool extension for model-driven software engineering | IEEE Conference Publication | IEEE Xplore