F. Fairmichael and J. Kiniry, “Verified Visualisation of Textual Modelling Languages”, ECEASST, vol. 36, Nov. 2010.