On renewal processes relating to counter models: the case of phase-type interarrival times