A survey on performance management of operating rooms and a new KPI proposal. (10th August 2020)