This title tackles the complex service availability standards in a digestible way, explaining the rationale behind the specifications and their applications. The book gives a cohesive explanation of the founding principles, standards and context of this key element of computer-based systems.

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.