I seek literature that makes a rigorous treatment of counting processes. In particular im interested in a precise treatment of the conditional intensity $\lambda_t$ which is often informally defined as

$$\lambda_tdt=P(N_t \text{ jumps in } [t,t+dt]\vert \mathcal{F}_t).$$