Visible to the public Security by Construction - Engineering Software to Exceed EAL5