M. Abdulla, and Y. Shayan. (2013)cite arxiv:1306.0944Comment: Proc. of the 7th ACM International Symposium on Mobility Management and Wireless Access (MobiWac'09), held in conjunction with MSWiM'09.
P. Murthy, P. Anitha, M. Mahesh, and R. Subramanyan. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 75--82. New York, NY, USA, ACM, (2006)