Canteaut, A.; Lambooij, E.; Neves, S.; Rasoolzadeh, S.; Sasaki, Y.; Stevens, M. Refined Probability of Differential Characteristics Including Dependency Between Multiple Rounds. ToSC 2017, 2017, 203-227.