Analysis of a distributed CDMA channel access control protocol using embedded processes | IEEE Conference Publication | IEEE Xplore