@inproceedings{DBLP:conf/iceccs/BozzanoCM13,
  author    = {Marco Bozzano and
               Alessandro Cimatti and
               Cristian Mattarei},
  title     = {{Automated Analysis of Reliability Architectures}},
  booktitle = {2013 18th International Conference on Engineering of Complex Computer
               Systems, Singapore, July 17-19, 2013},
  pages     = {198--207},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://dx.doi.org/10.1109/ICECCS.2013.37},
  doi       = {10.1109/ICECCS.2013.37},
  timestamp = {Thu, 23 Apr 2015 17:57:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/BozzanoCM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}