Exploring How to Develop Transformations and Tools for Automated Umplification | IEEE Conference Publication | IEEE Xplore