Reliability modeling of hardware/software systems | IEEE Journals & Magazine | IEEE Xplore