@ARTICLE{JTIT2014WS, author={Mauro Iacono and Stefano Marrone}, title={Model-Based Availability Evaluation of Composed Web Services}, journal={Journal of Telecommunications and Information Technology}, year={2014}, number={4}, pages={5-13}, }