Comparative analysis to validate benefits of formal and informal software model transformations. - Emanuel S. Grant; Kaden K. Daley (ICIS, 2014)