Policy-Based Design and Verification for Mission Assurance. - Shiu-Kai Chin; Sarah Muccio; Susan Older; Thomas N. J. Vestal (MMM-ACNS, 2010)