Network Data Collection Formal Analysis Based on Communication Sequential Process | IEEE Conference Publication | IEEE Xplore