Operating System: how operates Timer device