Certification of reusable software components: summary of work in progress | IEEE Conference Publication | IEEE Xplore