TY - RPRT TI - On the Specification of Constraints for Dynamic Architectures AU - Diego Marmsoler PY - 2017 UR - https://arxiv.org/abs/1703.06823 ID - 1703.06823 ER -