Analytic Model for Optimal Checkpoints in Mobile Real-time Systems. - Sung-Hwa Lim; Byoung-Hoon Lee; Jai-Hoon Kim (KSII Transactions on Internet & Information Systems, 2016)