@inproceedings{eischer19deterministic,
	author = {Michael Eischer and Markus B\"{u}ttner and Tobias Distler},
	title = {Deterministic Fuzzy Checkpoints},
	booktitle = {Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS '19)},
	pages = {153--162},
	year = {2019}
}