Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework. - Kendra M. L. Cooper; Lirong Dai 002; Sergiu Dascalu; Nehal Mehta; Sujala Velagapudi (Software Engineering Research and Practice, 2007)