Timothy D. Butters, Stefan Güttel, Jonathan L. Shapiro: Detecting and reducing redundancy in alarm networks. CASE 2015: 1224-1229