Dependable Computing EDCC-4 - häftad, Engelska, 2002