Development of safety- and security-critical systems that can resist and recover from cyberattacks is of increasing importance for both military and commercial domains such as avionics, medical devices and the internet of things.