System-level modeling and reliability analysis of microprocessor systems | IEEE Conference Publication | IEEE Xplore