A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, Verifying continuous time Markov chains, Lecture Notes in Computer Science, vol.1102, pp.269-276, 1996.
DOI : 10.1007/3-540-61474-5_75
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3391

V. Chandrasekhar, J. Andrews, and A. Gatherer, Femtocell networks: a survey, IEEE Communications Magazine, vol.46, issue.9, pp.59-67, 2008.
DOI : 10.1109/MCOM.2008.4623708
URL : http://arxiv.org/pdf/0803.0952

S. Choi, T. Lee, M. Chung, and H. Choo, Adaptive Coverage Adjustment for Femtocell Management in a Residential Scenario, Management Enabling the Future Internet for Changing Business and New Computing Services pp, pp.221-230, 2009.
DOI : 10.1002/bltj.20341

H. Claussen, L. Ho, and L. Samuel, An overview of the femtocell concept, Bell Labs Technical Journal, vol.13, issue.1, p.221, 2008.
DOI : 10.1002/bltj.20292

H. Claussen, L. Ho, and L. Samuel, Self-optimization of coverage for femtocell deployments, 2008 Wireless Telecomunications Symposium, pp.278-285
DOI : 10.1109/WTS.2008.4547576

H. Claussen and F. Pivit, Femtocell Coverage Optimization Using Switched Multi-Element Antennas, 2009 IEEE International Conference on Communications, pp.1-6, 2009.
DOI : 10.1109/ICC.2009.5199033

A. Duran and G. Carrasco, UMTS femtocell performance in massive deployments: Capacity and GoS implications, Bell Labs Technical Journal, vol.14, issue.2, pp.185-202, 2009.
DOI : 10.1002/bltj.20379

L. Ho, I. Ashraf, and H. Claussen, Evolving femtocell coverage optimization algorithms using genetic programming, 2009 IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications, pp.2132-2136, 2010.
DOI : 10.1109/PIMRC.2009.5450062

A. Molina, G. Athanasiadou, and A. Nix, The automatic location of base-stations for optimised cellular coverage: a new combinatorial approach, 1999 IEEE 49th Vehicular Technology Conference (Cat. No.99CH36363), pp.606-610, 1999.
DOI : 10.1109/VETEC.1999.778212

U. Sammapun, I. Lee, and O. Sokolsky, RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), pp.147-153, 2005.
DOI : 10.1109/RTCSA.2005.84

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, Computer Aided Verification, pp.266-280, 2005.
DOI : 10.1007/11513988_26

O. Sokolsky, U. Sammapun, J. Regehr, and I. Lee, Runtime Verification for Wireless Sensor Network Applications, 2008.

A. Wald, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118

H. Younes and R. Simmons, Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, p.1368, 2006.
DOI : 10.1016/j.ic.2006.05.002
URL : http://doi.org/10.1016/j.ic.2006.05.002