Methods and tools for policy analysis - Jabal, AA; Davari, M; Bertino, E; Makaya, C; Calo, S; Verma, D; Russo, A; Williams, C (ACM Computing Surveys, 2019)