Managing risk in high assurance systems by optimizing topological resources. - Paul Hyden; Richard G. McGrath; Ira S. Moskowitz; Stephen Russell 001 (J. Softw. Evol. Process., 2018)