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