Towards System Safety

Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium''s seventh occasion, it explores recent work and experience which lead us further ''towards system safety''. This book of the Proceedings covers the e...