S., D., B. D., L. F., and S. M.,  "Quantitative dependability assessment of distributed systems subject to variable conditions",  Internet and Distributed Computing Systems, vol. 8223, Berlin, Springer Berlin Heidelberg, pp. 385?398, 2013.

D., B., D. S., L. F., P. A, and S. M,  "Workload-Based Software Rejuvenation in Cloud Systems",  IEEE TRANSACTIONS ON COMPUTERS, vol. 62, pp. 1072?1085, 2013.

D., B., D. S., L. F., P. A., and S. M.,  "Evaluating wireless sensor node longevity through Markovian techniques",  COMPUTER NETWORKS, vol. 56, pp. 521?532, 2012.

D., B., L. F., P. A., S. M., and D. S.,  "Software Rejuvenation in the Cloud",  Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques (SIMUTOOLS 12): ICST, pp. 8?16, 23 marzo 2012.

F., L., and S. M.,  "Applying Symbolic Techniques To The Representation Of Non-markovian Models With Continuous Ph Distributions",  LECTURE NOTES IN COMPUTER SCIENCE, pp. 44?58, 10 July, 2009.