BibTex format
@inproceedings{Foster:2006,
author = {Foster, H and Uchitel, S and Magee, JN and Kramer, J},
title = {Model-Based Analysis of Obligations in Web Service Choreography},
url = {http://pubs.doc.ic.ac.uk/verification-of-web-obligations},
year = {2006}
}