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