Bucchiarone, A. and Galeotti, J. P. (2008) “Dynamic Software Architectures Verification using DynAlloy”, Electronic Communications of the EASST, 10. doi: 10.14279/tuj.eceasst.10.145.