ARTS: a system-level framework for modeling MPSoC components and analysis of their causality | IEEE Conference Publication | IEEE Xplore