Pattern mining in alarm flood sequences using a modified PrefixSpan algorithm - doi 10.1016/j.isatra.2018.12.050 2019-02 Article type Journal