Robert John Walters Checking of models built using a graphically based formal modelling language. 55-64 2005 76 Journal of Systems and Software 1 http://dx.doi.org/10.1016/j.jss.2004.06.023 db/journals/jss/jss76.html#Walters05