M. Iacono and S. Marrone, “Model-Based Availability Evaluation of Composed Web Services”, JTIT, vol. 58, no. 4, pp. 5–13, Dec. 2014, doi: 10.26636/jtit.2014.4.1042.