@mastersthesis{CCarvalho:msc,
  author = "Carvalho, C.",
  month = nov,
  school = "Instituto Superior T\{e}cnico, Universidade de Lisboa",
  title = "Dynamic Adaptation of Byzantine Fault Tolerant Protocols",
  year = "2017"
}