Author: Safety-Critical Systems Symposium. (15th 2007 Bristol, England)