On the optimal checkpointing of critical tasks and transaction-oriented systems | IEEE Journals & Magazine | IEEE Xplore