A table-oriented interface for reliability modeling of fault-tolerant architectures | IEEE Conference Publication | IEEE Xplore