Transactional memory for dependable embedded systems - Fetzer, Christof; Felber, Pascal (My University, 2011)