Author: Safety-Critical Systems Symposium (13th 2005 Southampton, England)