https://5dok.org/document/z3djxmwd-checking-assisted-protocol-design-reliable-latency-wireless-networks.html