Arguing Security of Generic Avionic Mission Control Computer System (MCC) using Assurance Cases. - Bhanuchander Reddy Poreddy; Steven M. Corns (Complex Adaptive Systems, 2011)