Bucchiarone, A.; Galeotti, J. P. Dynamic Software Architectures Verification Using DynAlloy. eceasst 2008, 10.