Author: Safety-Critical Systems Symposium (14th 2006 Bristol, England)