Safety-Critical Systems: Problems, Process and Practice - Dale, Chris ; Anderson, Tom (Springer, 2017)