Mohammed Nadhmi Miladi Mohamed Hadj Kacem Achraf Boukhris Mohamed Jmaiel Khalil Drira A UML rule-based approach for describing and checking dynamic software architectures. 1107-1114 2008 AICCSA http://dx.doi.org/10.1109/AICCSA.2008.4493686 conf/aiccsa/2008 db/conf/aiccsa/aiccsa2008.html#MiladiKBJD08