1ALEXEY G, HONSEOK Y. Modular Verification of Preemptive OS Kernels [J] . ACM SIGPLAN Notices, 2011,46 (9) : 404 -417.
2REJAIE R, ESTRIN D, HANDLEY M. Quality Adaptation for Con- gestion Controlled Video Playback over the Internet [ J]. ACM SIG- COMM Computer Communication Review, 1999, 29 (4): 189- 200.
3NUMEIJER H, BERGHUIS H. On Lyapunov control of the buffing equation [J] . IEEE Treans on Circuits Systems, 1995, 42 (8) : 473 - 477.