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