BibTex format
@inproceedings{Foster:2006,
author = {Foster, H and Uchitel, S and Magee, JN and Kramer, J},
title = {WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography},
url = {http://pubs.doc.ic.ac.uk/ws-engineer-icse},
year = {2006}
}