Comparative analysis to validate benefits of formal and informal software model transformations | IEEE Conference Publication | IEEE Xplore