Brown, Pike, 2007. Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols, in: . IEEE.. https://doi.org/10.1109/memcod.2007.371227