@article{dolev_függer_lenzen_schmid_steininger_2015, 
  title={Fault-tolerant Distributed Systems in Hardware}, 
  volume={116}, 
  author={Dolev and Függer and Lenzen and Schmid and Steininger}, 
  year={2015}
  }