Business Process Deviance Mining with Sequential and Declarative Patterns · Study