Harel State Model