Improvements in System Safety - Redmill, Felix (Springer London, 2020)