Query-based debugging of distributed systems. - Ryan Evans Braud (2010)