3.2.6 Timer Events
If any of the Miracast Source timers (section 3.2.2) reaches its timeout, the Source MUST do the following.
Abandon its attempt to start a Miracast over Infrastructure session by closing any connections to the Sink and deleting its state.
Fall back to using standard Miracast [WF-WSC2.0.2].