The Theory and Practice of Reliable System Design

You will find that this textbook includes a list of online resources for extra help.