@inproceedings {181000,
	author = {Miguel Correia and Daniel G{\'o}mez Ferro and Flavio P. Junqueira and Marco Serafini},
	title = {Practical Hardening of {Crash-Tolerant} Systems},
	booktitle = {2012 USENIX Annual Technical Conference (USENIX ATC 12)},
	year = {2012},
	isbn = {978-931971-93-5},
	address = {Boston, MA},
	pages = {453--466},
	url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/correia},
	publisher = {USENIX Association},
	month = jun
}
