Liao, J. 2012. A New Concurrent Checkpoint Mechanism for Embeded Multi-Core Systems. Computing and Informatics. 31, 3 (Aug. 2012), 693–709.