Performability and reliability modeling of N version fault tolerant software in real time systems | IEEE Conference Publication | IEEE Xplore