The top documents tagged [occupation time statistics]