Petri Selonen Jianli Xu Validating UML models against architectural profiles. 58-67 2003 conf/sigsoft/2003 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/940071.940081 db/conf/sigsoft/fse2003.html#SelonenX03