Managing risk in high assurance systems by optimizing topological resources. Issue 3 (25th August 2017)