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