Developing Resilience Systems with KAOS: Developing Secure and Safe Systems with Knowledge Acquisition for Automated Specification