Koushik Sen Abhay Vardhan Gul Agha Grigore Rosu Efficient Decentralized Monitoring of Safety in Distributed Systems. 418-427 2004 conf/icse/2004 ICSE http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630418abs.htm db/conf/icse/icse2004.html#SenVAR04