Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures