Model-driven reliability evaluation for MPSoC design | IEEE Conference Publication | IEEE Xplore