SPTool - Equivalence Checker for SAND Attack Trees. - Barbara Kordy; Piotr Kordy; Yoann van den Boom (CRiSIS, 2016)