WiP: our paper “Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness”, is accepted by RTSS 2022 Brief Presentations.