Flora Amato, Giovanni Cozzolino, Antonino Mazzeo, Francesco Moscato: Detect and correlate information system events through verbose logging messages analysis. Computing 101(7): 819-830 (2019)