Safety conditions verification of communication in distributed control system | IEEE Conference Publication | IEEE Xplore