An MDA Approach Towards Integrating Formal and Informal Modeling Languages. - Soon-Kyeong Kim; Damian Burger; David A. Carrington (FM, 2005)