P. vanRooyen, and F. Solms. Personal, Indoor and Mobile Radio Communications, 1995. PIMRC'95. 'Wireless: Merging onto the Information Superhighway'., Sixth IEEE International Symposium on, 3, page 1308--. (September 1995)
H. Xiong, P. Curzon, S. Tahar, and A. Blandford. Formal Methods in System Design, 30 (2):
83--116(April 2007)The original publication is available at www.springerlink.com.
S. Zhang, and S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, page 443-- 448 Vol. 2. IEEE, (April 2005)