Distributed communication software specification based on the action superposition mechanism | IEEE Conference Publication | IEEE Xplore