Patrice Godefroid James D. Herbsleb Lalita Jategaonkar Jagadeesan Du Li Ensuring privacy in presence awareness: an automated verification approach. 59-68 2000 CSCW http://doi.acm.org/10.1145/358916.358963 db/conf/cscw/cscw2000.html#GodefroidyHJL00