Amazon.com description: Product Description: In recent years the dramatic reduction in the cost of computing equipment has encouraged industry to automate its manufacturing processes as a credible means of reducing the unit costs of products. However, the application of computers to the control of processes generates new risks. These risks arise from the increased complexity and the lack of understanding of the safety aspects of such control strategies. This book provides the international perspective on the design and verification of safety-critical systems.