Koushik Sen Abhay Vardhan Gul Agha Grigore Rosu Efficient Decentralized Monitoring of Safety in Distributed Systems. 418-427 2004 conf/icse/2004 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317464 db/conf/icse/icse2004.html#SenVAR04