The SSP: An Example of High-Assurance Systems Engineering. - Gregory L. Wickstrom; Jared Davis; Steven E. Morrison; Steve Roach; Victor L. Winter (HASE, 2004)

Transformation-Based Library Adaptation for Embedded Systems. - Victor L. Winter; Azamatbek Mametjanov; Steven E. Morrison; James A. McCoy; Gregory L. Wickstrom (HASE, 2007)