Fluid model checking of timed properties