Dynamic evolution of distributed systems specifications using reflective language | IEEE Conference Publication | IEEE Xplore