Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework