Martens, et al.. Crosscheck: Hardening Replicated Multithreaded Services. IEEE, 2014, doi:10.1109/dsn.2014.98.