(1)
Fairmichael, F.; Kiniry, J. Verified Visualisation of Textual Modelling Languages. ECEASST 2010, 36.