Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols | IEEE Conference Publication | IEEE Xplore