<p>This book is for systems designers implementers and verifiers who are experienced in general embedded software development but who are now facing the prospect of delivering a software-based system for a safety-critical application that must satisfy one or more of the international standards.</p>