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