Liao, J. (2012). A New Concurrent Checkpoint Mechanism for Embeded Multi-Core Systems. Computing and Informatics, 31(3), 693–709. https://cai.type.sk/content/2012/3/a-new-concurrent-checkpoint-mechanism-for-embeded-multi-core-systems/