Alarm handling for health monitoring: Operator strategies used in an electrical control room of a rail network. (July 2016)