E-CAL: A formal language for software model evolution | IEEE Conference Publication | IEEE Xplore