A dynamic extension for the specifications of distributed systems | IEEE Conference Publication | IEEE Xplore