Fairmichael, F. and Kiniry, J. (2010) “Verified Visualisation of Textual Modelling Languages”, Electronic Communications of the EASST, 36. doi: 10.14279/tuj.eceasst.36.446.