Dependable Computing for Critical Applications 3 - nidottu, Englanti, 2013