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