1. Towards a holistic approach to fault management : wheels within a wheel / Moises Goldszmidt ... [et al.] -- 2. Exceptions for dependability / Emil Sekerinski -- 3. Network availability for distributed applications / Luigia Petre, Kaisa Sere and Marina Waldén -- 4. Formal stepwise development of scalable and reliable multiagent systems / Denis Grotsev, Alexei Iliasov and Alexander Romanovsky -- 5. Development of safety-critical control systems in Event-B using FMEA / Yuliya Prokhorova ... [et al.] -- 6. Towards designing FPGA-based systems by refinement in B / Sergey Ostroumov ... [et al.] -- 7. Online testing of nondeterministic systems with the reactive planning tester / Jüri Vain, Marko Kääramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Boström ... [et al.] -- 9. Modeling security goals and software vulnerabilities / David Byers and Nahid Shahmehri -- 10. A method for model-driven information flow security / Fredrik Seehusen and Ketil Stølen -- 11. Security of dependable systems / Naveed Ahmed and Christian Damsgaard Jensen -- 12. Application security for mobile devices / Gabriele Costa ... [et al.] -- 13. Supporting software evolution for open smart cards by security-by-contract / Nicola Dragoni, Olga Gadyatskya and Fabio Massacci -- 14. SecInvest : balancing security needs with financial and business constraints / Siv Hilde Houmb, Indrajit Ray and Indrakshi Ray.

15. Using model-driven risk analysis in component-based development / Gyrd Braendeland and Ketil Stølen -- 16. Uncertainty handling in weighted dependency trees : a systematic literature review / Aida Omerovic, Amela Karahasanovic and Ketil Stølen -- 17. Measuring the progress of a system development / Marta (Plaska) Olszewska and Marina Waldén -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Kaâniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis.