Model Checking Implicit-Invocation Systems. - David Garlan; Serge Khersonsky (IWSSD, 2000)

Model Checking Publish-Subscribe Systems. - David Garlan; Serge Khersonsky; Jung Soo Kim (SPIN, 2003)