Checkpointing for virtual platforms and SystemC-TLM-2.0