Text this: Analytic Model for Optimal Checkpoints in Mobile Real-time Systems.