This book discusses the development of computer systems for use in safety critical applications, the technologies used, and the experience of those using them. It includes contributions from many experts in the field.