On the development of dependability-evaluation workbench for high-assurance system designers | IEEE Conference Publication | IEEE Xplore