Model Based Design of a Slot Based Time Synchronization Protocol for HF TDMA Networks | IEEE Conference Publication | IEEE Xplore