Exact-Time Characterization of Discrete Stopping Times