Engineering and Assurance for Safer Systems