@inproceedings(Alur,
 author       = "R. Alur and D.L. Dill",
 year         = "1990",
 title        = "{Automata For Modeling Real-Time Systems.}",
 booktitle    = "ICALP",
 pages        = "322--335",
 doi          = "10.1007/BFb0032042",
)
@article(Alur94,
 author       = "R. Alur and D.L. Dill",
 year         = "1994",
 title        = "{A Theory of Timed Automata}",
 journal      = "{Theoretical Computer Science}",
 volume       = "{126(2)}",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(UPPAAL2,
 author       = "G. Behrmann and A. David and K. G. Larsen",
 year         = "2004",
 title        = "{A tutorial on Uppaal}",
 journal      = "Formal Methods for the Design of Real-Time Systems",
 number       = "3185",
 pages        = "200--236",
)
@misc(ebxml,
 title        = "{ebXML: Electronic Business using eXtensible Markup Language}",
 howpublished = "\burl {www.ebxml.org}",
)
@techreport(Hatcliff2009,
 author       = "J. Hatcliff and G.T. Leavens and k.R.M. Leino and P. Müller and M. Parkinson",
 year         = "2009",
 title        = "{Behavioral Interface Specification Languages}",
 type         = "Technical Report",
 number       = "CS-TR-09-01",
 institution  = "School of EECS, University of Central Florida",
)
@article(UPPAAL,
 author       = "K. G. Larsen and Z. Pettersson and Y. Wang",
 year         = "1997",
 title        = "{UPPAAL in a Nutshell}",
 journal      = "STTT: International Journal on Software Tools for Technlogy Transfer",
 volume       = "1",
 number       = "1--2",
 pages        = "134--152",
 doi          = "10.1007/s100090050010",
)
@article(Martinez2010,
 author       = "E. Mart\'{i}nez and D\'{i}az and G. and Cambronero",
 year         = "2010",
 title        = "{Visual Specification of Formal e-Contracts}",
 journal      = "Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010)",
 pages        = "55--61",
)
@inproceedings(MCD+10,
 author       = "E. Martinez and G. Diaz and M. E. Cambronero and G. Schneider",
 year         = "2010",
 title        = "{A Model for Visual Specification of e-Contracts}",
 booktitle    = "The 7th IEEE International Conference on Services Computing (IEEE SCC'10)",
 pages        = "1--8",
 doi          = "10.1109/SCC.2010.32",
)
@incollection(McNamara2006,
 author       = "P. McNamara",
 year         = "2006",
 title        = "{Deontic Logic}",
 booktitle    = "{Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic}",
 volume       = "7",
 publisher    = "North-Holland Publishing",
 pages        = "197--289",
 doi          = "10.1016/S1874-5857(06)80029-4",
)
@techreport(meyer86dbc,
 author       = "B. Meyer",
 year         = "1986",
 title        = "{Design by Contract}",
 type         = "Technical Report",
 number       = "TR-EI-12/CO",
 institution  = "Interactive Software Engineering Inc.",
)
@inproceedings(OR08csc,
 author       = "J. C. Okika and A. P. Ravn",
 year         = "2008",
 title        = "Classification of SOA Contract Specification Languages",
 booktitle    = "2008 IEEE International Conference on Web Services (ICWS'08)",
 publisher    = "IEEE Computer Society",
 pages        = "433--440",
 doi          = "10.1109/ICWS.2008.36",
)
@inproceedings(PS09cl,
 author       = "C. Prisacariu and G. Schneider",
 year         = "2009",
 title        = "{CL: An Action-based Logic for Reasoning about Contracts}",
 booktitle    = "16th Workshop on Logic, Language, Information and Computation (WOLLIC'09)",
 series       = "LNCS",
 volume       = "5514",
 publisher    = "Springer",
 pages        = "335--349",
 doi          = "10.1007/978-3-642-02261-6_27",
)
@misc(ws-agreement,
 title        = "{Web Services Agreement Specification (WS-Agreement)}",
 howpublished = "\burl {https://forge.gridforum.org/projects/graap-wg/document/WS-AgreementSpecification/en/7}",
)
@misc(wsla,
 title        = "{WSLA: Web Service Level Agreements}",
 howpublished = "\burl {www.research.ibm.com/wsla/}",
)