Fairmichael, F.; Kiniry, J. Verified Visualisation of Textual Modelling Languages. eceasst 2010, 36.