A. Bucchiarone and J. P. Galeotti, “Dynamic Software Architectures Verification using DynAlloy”, ECEASST, vol. 10, Jun. 2008.