Software is contributing a substantial part of new functionality and innovation in safety-critical systems. These systems put a huge demand on software reliability, because a minor error can produce failure of a complete ...