N. Milanovic and B. Milic. Automatic Generation of Service Availability Models. IEEE Transactions on Services Computing, volume 4, 2011.