Dependable Computing for Critical Applications 3 - häftad, Engelska, 2013