An approach to verification of communication in distributed computing system software | IEEE Conference Publication | IEEE Xplore