Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents.