Towards a Requirements-Driven Workbench for Supporting Software Certification and Accreditation | IEEE Conference Publication | IEEE Xplore