The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems | IEEE Conference Publication | IEEE Xplore