@inproceedings(terbeek08,
 author       = "Maurice H. ter Beek and Stefania Gnesi and Nora Koch and Franco Mazzanti",
 year         = "2008",
 title        = "Formal verification of an automotive scenario in service-oriented computing",
 booktitle    = "Proceedings of the 30th international conference on Software engineering",
 series       = "ICSE '08",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "613--622",
 doi          = "10.1145/1368088.1368173",
)
@incollection(tut04,
 author       = "Gerd Behrmann and Alexandre David and Kim Larsen",
 year         = "2004",
 title        = "A Tutorial on UPPAAL",
 editor       = "Marco Bernardo and Flavio Corradini",
 booktitle    = "Formal Methods for the Design of Real-Time Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "3185",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "33--35",
 doi          = "10.1007/978-3-540-30080-9\_7",
)
@article(593572,
 author       = "Anind K. Dey",
 year         = "2001",
 title        = "Understanding and Using Context",
 journal      = "Personal Ubiquitous Comput.",
 volume       = "5",
 pages        = "4--7",
 doi          = "10.1007/s007790170019",
)
@book(1296147,
 author       = "Thomas Erl",
 year         = "2007",
 title        = "{\sc SOA} Principles of Service Design",
 publisher    = "Prentice Hall PTR",
 address      = "Upper Saddle River, NJ, USA",
)
@inproceedings(1066866,
 author       = "Jes\'{u}s Arias Fisteus and Luis S\'{a}nchez Fern\'{a}ndez and Carlos Delgado Kloos",
 year         = "2005",
 title        = "Applying model checking to BPEL4WS business collaborations",
 booktitle    = "Proceedings of the 2005 ACM symposium on Applied computing (SAC '05)",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "826--830",
 doi          = "10.1145/1066677.1066866",
)
@inproceedings(1287657,
 author       = "Howard Foster and Wolfgang Emmerich and Jeff Kramer and Jeff Magee and David Rosenblum and Sebastian Uchitel",
 year         = "2007",
 title        = "Model checking service compositions under resource constraints",
 booktitle    = "Proceedings of the ACM SIGSOFT symposium on the foundations of software engineering",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "225--234",
 doi          = "10.1145/1287624.1287657",
)
@inproceedings(988756,
 author       = "Xiang Fu and Tevfik Bultan and Jianwen Su",
 year         = "2004",
 title        = "Analysis of interacting BPEL web services",
 booktitle    = "Proceedings of the 13th international conference on World Wide Web",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "621--630",
 doi          = "10.1145/988672.988756",
)
@article(HT04,
 author       = "Thomas A. Henzinger and Xavier Nicollin and Joseph Sifakis and Sergio Yovine",
 year         = "1994",
 title        = "Symbolic model checking for real-time systems",
 journal      = "Information and Computation",
 volume       = "111",
 pages        = "193--244",
 doi          = "10.1006/inco.1994.1045",
)
@inproceedings(Hinz05transformingbpel,
 author       = "Sebastian Hinz and Karsten Schmidt and Christian Stahl",
 year         = "2005",
 title        = "Transforming BPEL to Petri Nets",
 booktitle    = "Proceedings of the International Conference on Business Process Management (BPM2005), volume 3649 of Lecture Notes in Computer Science",
 publisher    = "Springer-Verlag",
 pages        = "220--235",
 doi          = "10.1007/11538394\_15",
)
@techreport(NAM11,
 author       = "Naseem Ibrahim and Vangalur Alagar and Mubarak Mohammad",
 year         = "March 2011",
 title        = "A Formal Approach to Specification and Verification of Context-dependent Services.",
 type         = "Technical Report ACTS-SOA-11-02",
 institution  = "Department of Computer Science and Software Engineering, Concordia University",
 address      = "Montreal, Canada",
 url          = "http://users.encs.concordia.ca/\~n\_ibrah/ACTS-SOA-1102.pdf",
)
@inproceedings(SCC211,
 author       = "Naseem Ibrahim and Mubarak Mohammad and Vangalur Alagar",
 year         = "2011",
 title        = "An Architecture for Managing and Delivering Trustworthy Context-dependent Services",
 booktitle    = "the 8th IEEE International Conference on Services Computing (SCC2011)",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
)
@techreport(NI11,
 author       = "Naseem Ibrahim and Mubarak Mohammad and Vangalur Alagar",
 year         = "February 2011",
 title        = "Managing Services for Trustworthy Context-dependent Delivery.",
 type         = "Technical Report ACTS-SOA-11-01",
 institution  = "Department of Computer Science and Software Engineering, Concordia University",
 address      = "Montreal, Canada",
 url          = "http://users.encs.concordia.ca/\~n\_ibrah/TR2011-v1.pdf",
)
@inproceedings(orc,
 author       = "David Kitchin and Adrian Quark and William R. Cook and Jayadev Misra",
 year         = "2009",
 title        = "The {Orc} Programming Language",
 editor       = "David Lee and Ant{\'o}nia Lopes and Arnd Poetzsch-Heffter",
 booktitle    = "Proceedings of FMOODS/FORTE 2009",
 series       = "Lecture Notes in Computer Science",
 volume       = "5522",
 publisher    = "Springer",
 pages        = "1--25",
 doi          = "10.1007/978-3-642-02138-1\_1",
)
@book(1214503,
 author       = "Ben Margolis",
 year         = "2007",
 title        = "SOA for the Business Developer: Concepts, BPEL, and SCA",
 publisher    = "Mc Press",
)
@article(Mohammad201177,
 author       = "Mubarak Mohammad and Vangalur Alagar",
 year         = "2011",
 title        = "A formal approach for the specification and verification of trustworthy component-based systems",
 journal      = "J. Syst. Softw.",
 volume       = "84",
 pages        = "77--104",
 doi          = "10.1016/j.jss.2010.08.048",
)
@phdthesis(sul07,
 author       = "Justin O’Sullivan",
 year         = "2007",
 title        = "Towards a Precise Understanding of Service Properties",
 type         = "Phd thesis",
 school       = "Queensland University of Technology",
 address      = "Brisbane, Australia",
)
@inproceedings(4279619,
 author       = "Mohsen Rouached and Claude Godart",
 year         = "2007",
 title        = "Requirements-driven Verification of WSBPEL Processes",
 booktitle    = "IEEE International Conference on Web Services, ICWS2007",
 pages        = "354--363",
 doi          = "10.1109/ICWS.2007.153",
)
@inproceedings(StarWSCop,
 author       = "Haiyan Sun and Xiaodong Wang and Bin Zhou and Peng Zou1",
 year         = "2003",
 title        = "Research and Implementation of Dynamic Web Services Composition",
 editor       = "Xingming Zhou and Stefan Jähnichen and Ming Xu and Jiannong Cao",
 booktitle    = "Advanced Parallel Processing Technologies, 5th InternationalWorkshop, APPT 2003",
 series       = "Lecture Notes in Computer Science",
 volume       = "2834",
 publisher    = "Springer-Verlag",
 pages        = "457--466",
 doi          = "10.1007/978-3-540-39425-9\_54",
)
@phdthesis(wan06,
 author       = "Kaiyu Wan",
 year         = "2006",
 title        = "Lucx: Lucid Enriched with Context",
 type         = "Phd thesis",
 school       = "Concordia University",
 address      = "Montreal, Canada",
)
@incollection(Wal08,
 author       = "Kaiyu Wan and Vasu Alagar",
 year         = "2008",
 title        = "An Intensional Functional Model of Trust",
 editor       = "Yucel Karabulut and John Mitchell and Peter Herrmann and Christian Jensen",
 booktitle    = "Trust Management II",
 series       = "IFIP Advances in Information and Communication Technology",
 volume       = "263",
 publisher    = "Springer Boston",
 pages        = "69--85",
 doi          = "10.1007/978-0-387-09428-1\_5",
)
@inproceedings(WMA09,
 author       = "Kaiyu Wan and Mubarak Muhammad and Vasu Alagar",
 year         = "2009",
 title        = "A Formal Model of Business Application Integration from Web Services",
 booktitle    = "Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science",
 series       = "SOFSEM '09",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "656--667",
 doi          = "10.1007/978-3-540-95891-8\_58",
)
@misc(ws-cdl,
 author       = "WS-CDL",
 title        = "Web Services Choreography Description Language Version 1.0",
 howpublished = "W3C Candidate Recommendation. November, 2005.",
 url          = "http://www.w3.org/TR/ws-cdl-10/",
)