High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip - Wang, Zheng (Springer Singapore, 2018)