Practical tools from formal models: the ECHR as a case study. - Katie Atkinson; Joe Collenette; Trevor J. M. Bench-Capon; Kanstantsin Dzehtsiarou (ICAIL, 2021)