Energy minimization for checkpointing-based approach to guaranteeing real-time systems reliability | IEEE Conference Publication | IEEE Xplore