Category Theory-Based Synthesis of a Higher-Level Fusion Algorithm: An Example. - Mieczyslaw M. Kokar; Kenneth Baclawski; Hongge Gao (FUSION, 2006)