Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical ...