SAFETY-CRITICAL: Safety-Critical Computer Systems (BOOK)

For systems engineering, another "bible" (costing ~500USD new):
Amazon.com: Buying Choices: Safety Critical Computer Systems

PS: Look at the price, new! :)