Author: Safety-Critical Systems Symposium (19th 2011 Southampton, England)