Concurrent Checkpointing for Embedded Real-Time Systems