Owda, Zaher: Predictable transactional memory architecture for hierarchical mixed-criticality systems. 2017