Propagation modeling — a CSP approach | IEEE Conference Publication | IEEE Xplore