A useful generalization of renewal theory: counting processes governed by non-negative Markovian increments | Synapse