Formal design of communication checkers for ICCP using UPPAAL | IEEE Conference Publication | IEEE Xplore