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