Crosscheck: Hardening Replicated Multithreaded Services. - Arthur Martens; Christoph Borchert; Tobias Oliver Geissler; Daniel Lohmann; Olaf Spinczyk; Rüdiger Kapitza (DSN, 2014)