Jim Steel Jean-Marc Jézéquel On model typing. 401-413 2007 6 Software and System Modeling 4 http://dx.doi.org/10.1007/s10270-006-0036-6 db/journals/sosym/sosym6.html#SteelJ07