@article{milanovi-ieeeTSC10,
  author = "N. Milanovic and B. Milic",
  title = "Automatic Generation of Service Availability Models",
  year = 2011,
  journal = "IEEE Transactions on Services Computing",
  volume = 4,
  isbn = "ISSN: 1939-1374"
}