Embedded Markov chain analysis of the superposition of renewal processes

For a superposition of i.i.d. renewal processes we derive in closed form the limiting distribution of an embedded counting process that describes the simultaneous presence of points from the individual renewal streams in consecutive inspection intervals of fixed given length.