Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT | IEEE Conference Publication | IEEE Xplore