Liao, Jianwei. 2012. “A New Concurrent Checkpoint Mechanism for Embeded Multi-Core Systems”. COMPUTING AND INFORMATICS 31 (3):693-709. https://www.cai.sk/ojs/index.php/cai/article/view/1015.