NobleBlocks
    DEEM: a tool for the dependability modeling and evaluation of multiple phased systems | NobleBlocks