Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness | IEEE Conference Publication | IEEE Xplore