Safety-critical Systems Symposium (10th 2002 Southampton, England)