Propagation models for HF radio service planning | IET Conference Publication | IEEE Xplore