Graphs models and algorithms for reliability assessment of coherent and non-coherent systems. (April 2018)