Ehrig, H. (2010). From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. Electronic Communications of the EASST, 30. https://doi.org/10.14279/tuj.eceasst.30.430