Software assessment to support certification for an existing computer-based system | IEEE Conference Publication | IEEE Xplore