@article{Chang:70841,
      author        = "Chang, Xiaolin and Wang, Tianju and Rodríguez, Ricardo J.
                       and Zhang, Zhenjiang",
      title         = "{Modeling and analysis of high availability techniques in
                       a  virtualized system}",
      year          = "2017",
}