On reliability modelling of fault-tolerant distributed systems | IEEE Conference Publication | IEEE Xplore