Analysis of timed properties using the jump-diffusion approximation