A GALS Language for Dynamic Distributed and Reactive Programs | IEEE Conference Publication | IEEE Xplore