Run-time predicate monitoring for distributed systems. ChandraPunit. 2014 Run-time predicate monitoring for distributed systems.