Can somebody here recommend any books on developing safety-critical systems? I've read some part of Kleidermacher's "Embedded Systems Security" book and found i

Can somebody here recommend any books on developing safety-critical systems? I've read some part of Kleidermacher's "Embedded Systems Security" book and found it very helpful.