Ehrig, H. From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. eceasst 2010, 30.