Zaslat SMS: Formal and heuristic system decomposition methods in multidisciplinary synthesis Christina L. Bloebaum. [microform] /