Now downloading Dekkers et al 2020, Safe-by-Design part I.pdf...