M. Saksena, O. Wibling, и B. Jonsson. Proceedings of the Theory and practice of software, 14th international
conference on Tools and algorithms for the construction and analysis
of systems, стр. 18--32. Berlin, Heidelberg, Springer-Verlag, (2008)
S. Zhong, J. Chen, и Y. Yang. INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer
and Communications. IEEE Societies, 3, стр. 1987 - 1997 vol.3. (2003)