Residual lifetime Markov chain (source code)

= Residual lifetime Markov chain
{wiki}

With bounded integer lifetimes, residual lifetime decreases deterministically and resets randomly at zero.