Keywords: Multi-state system; Dependent multi-state component; Stochastic multi-valued model; MSS; multi-state system; MSC; multi-state component; UGF; universal generating function; MC; Monte Carlo; ESL; extended-stochastic logic; SMV; stochastic multi-valued;