E. Vasconcelos, K. Dias, and P. Cunha. " Availability Model and Analysis for Contention-Based Medium Access in Cognitive Radio Networks", in Proceedings of the 11th Workshop on Performance of Computer and Communication Systems, Curitiba/PR, 2012, pp. 99-112.