Improvements in System Safety by Felix Redmill