Disease extinction in finite time for a continuous-time SIRS model | Synapse