M. Saksena, O. Wibling, und B. Jonsson. Proceedings of the Theory and practice of software, 14th international
conference on Tools and algorithms for the construction and analysis
of systems, Seite 18--32. Berlin, Heidelberg, Springer-Verlag, (2008)
J. Westcott, und J. Jubin. Military Communications Conference - Progress in Spread Spectrum
Communications, 1982. MILCOM 1982. IEEE, 3, Seite 10.4-1 -10.4-5. (Oktober 1982)