Jocelyn Simmonds Marsha Chechik Shiva Nejati Elena Litani Bill O'Farrell Property Patterns for Runtime Monitoring of Web Service Conversations. 137-157 2008 RV http://dx.doi.org/10.1007/978-3-540-89247-2_9 conf/rv/2008 db/conf/rv/rv2008.html#SimmondsCNLO08