Kevin Lano A compositional semantics of UML-RSDS. 85-116 2009 8 Software and System Modeling 1 http://dx.doi.org/10.1007/s10270-007-0064-x db/journals/sosym/sosym8.html#Lano09