Electronic systems are increasingly used in safety applications such as anti-lock brakes and biomedical supports in human care. This book offers a new series of algorithms and techniques to be used for the design and evaluation of these systems.