On formal modeling of communication channels | IEEE Conference Publication | IEEE Xplore