Model checking publish-subscribe systems (2003)

by David Garlan, Serge Khersonsky, Jung Soo Kim