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