Certifying off-the-shelf software components | IEEE Journals & Magazine | IEEE Xplore