Safety-Critical Systems: Problems, Process and Practice - Dale, Chris (Springer London, 2020)