NobleBlocks
    Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability | NobleBlocks