Model checking single agent behaviours by fluid approximation