Whitlock, S., Scott, C. and Shenker, S. Brief Announcement: Techniques for Programmatically Troubleshooting Distributed Systems. PODC 2013.