A Formal Approach to Accountability in Heterogeneous Systems-on-Chip