Author: Safety-Critical Systems Symposium (18th 2010 Bristol, England)