Survey of industry methods for producing highly reliable software