A quantitative approach for optimal alarm identification. (September 2018)