Certification of reusable software components: summary of work in progress. - Sharon L. Rohde; Karen A. Dyson; Pamela T. Geriner; Deborah A. Cerino (ICECCS, 1996)