Turning Multiple Evaluated Products into Trusted Systems with Assurance. - D. Gambel; J. Fowler (SEC, 1993)