Author: Safety-Critical Systems Symposium (16th 2008 Great Britain)