Design and Safety Assessment of Critical Systems

<p>Explaining how to improve safety-critical systems to reduce risks to people and the environment this book introduces fundamental concepts and reviews issues related to the design development and assessment of safety-critical systems. The text covers the most well-known notations techniques and procedures and supplies many in-depth examples from a range of industrial sectors. It also provides access to a website with additional information and code for the examples presented.</p>