Second-order asymptotics in level crossing for differences of renewal processes

We consider level crossing for the difference of independent renewal processes. Second-order expansions for the distribution function of the crossing time of level n are found, as n --> [infinity]. As a by-product several other results on the difference process are found. The expected minimum of the difference process appears to play an important role in the analysis. This makes this problem essentially harder than the level crossing for the sum process which was studied earlier.