dependable-computing-edcc-4-4th-european-dependable-computing-conference-toulouse-france-october-2325-2002-proceedings-2002