Marius Monton Jakob Engblom Mark Burton Checkpointing for Virtual Platforms and SystemC-TLM. 133-141 2013 21 IEEE Trans. Very Large Scale Integr. Syst. 1 https://doi.org/10.1109/TVLSI.2011.2181881 db/journals/tvlsi/tvlsi21.html#MontonEB13