...erification of the robustness of safety-relevant systems, particularly against transient common-cause faults. Bringing together partners from every part of the supply chain, VeTeSS will develop automated, quantitative processes usable at all stages of development. These will provide standardized data from verification for safety standards qualification. Development costs and time to market will be ...