CertWare: A workbench for safety case production and analysis | IEEE Conference Publication | IEEE Xplore