Dependable Computing for Critical Applications 3 - heftet, Engelsk, 2013