A Model Transformation Semantics and Analysis Methodology for SecureUML (2006)

by A D Brucker, J Doser, B Wolff
Venue:In Nierstrasz et al. (eds.),MoDELS 2006. LNCS 4199