https://bookem.ir/books/2767337-The-Safety-Critical-Systems-Handbook
The Safety Critical Systems Handbook.