Bucchiarone, Antonio, and Juan P. Galeotti. “Dynamic Software Architectures Verification Using DynAlloy”. Electronic Communications of the EASST, vol. 10, June 2008, doi:10.14279/tuj.eceasst.10.145.