@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(Chiu2003,
 author       = "D.~Chiu and S.~Cheung and S.~Till",
 year         = "2003",
 title        = "{A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment}",
 journal      = "Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36)",
 pages        = "74--83",
 doi          = "10.1109/HICSS.2003.1174188",
)
@article(Dignum1995,
 author       = "F.~Dignum and H.~Weigand",
 year         = "1995",
 title        = "{Modelling Communication between Cooperative Systems}",
 journal      = "Proceedings of Advanced Information Systems Engineering (CAISE'95)",
 pages        = "140--153",
 doi          = "10.1007/3-540-59498-1_243",
)
@article(Governatori2006,
 author       = "G.~Governatori and Z.~Milosevic and S.~Sadiq",
 year         = "2006",
 title        = "{Compliance checking between business processes and business contracts}",
 journal      = "Proceedings of the 10th IEEE Conference on Enterprise Distributed Object Computing",
 pages        = "221--232",
 doi          = "10.1109/EDOC.2006.22",
)
@techreport(Hatcliff2009,
 author       = "J.~Hatcliff and G.T. Leavens and k.R.M. Leino and P.~Muller 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",
 doi          = "10.1145/2187671.2187678",
)
@article(Krishna2005,
 author       = "P.R. Krishna and K.~Karlapalem and A.R. Dani",
 year         = "2005",
 title        = "{From Contract to E-Contracts: Modeling and Enactment}",
 journal      = "Information Technology and Management",
 volume       = "6",
 number       = "4",
 pages        = "363--387",
 doi          = "10.1007/s10799-005-3901-z",
)
@article(Lomuscio2008,
 author       = "A.~Lomuscio and H.~Qu and M.~Solanki",
 year         = "2008",
 title        = "{Towards verifying contract regulated service composition}",
 journal      = "Proceedings of IEEE International Conference on Web Services (ICWS 2008)",
 pages        = "254--261",
 doi          = "10.1109/ICWS.2008.115",
)
@article(Marjanovic2001,
 author       = "O.~Marjanovic and Z.~Milosevic",
 year         = "2001",
 title        = "{Towards formal modeling of e-Contracts}",
 journal      = "Proceedings of 5th IEEE International Enterprise Distributed Object Computing Conference",
 pages        = "59--68",
 doi          = "10.1109/EDOC.2001.950423",
)
@article(Martinez2011,
 author       = "E.~Mart\'{i}nez and G.~D\'{i}az and M.~E. Cambronero",
 year         = "2011",
 title        = "{Contractually Compliant Service Compositions}",
 journal      = "ICSOC 2011 - The Ninth International Conference on Service Oriented Computing",
 pages        = "636--644",
 doi          = "10.1007/978-3-642-25535-9_50",
)
@inproceedings(MCD+10,
 author       = "E.~Mart\'{i}nez and G.~D\'{i}az 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",
)
@misc(MCDS2012,
 author       = "E.~Mart\'{i}nez and G.~D\'{i}az and M.~E. Cambronero and G.~Schneider",
 year         = "2012",
 title        = "{ Specification and Verification of Normative Specifications using C-O Diagrams}",
 howpublished = "\url {https://www.dsi.uclm.es/descargas/thecnicalreports/DIAB-12-05-1/TSE11.pdf}",
)
@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",
)
@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(tre99,
 author       = "J.~Tretmans",
 year         = "1999",
 title        = "Testing Concurrent Systems: A Formal Approach",
 booktitle    = "CONCUR'99, LNCS 1664",
 publisher    = "Springer",
 pages        = "46--65",
 doi          = "10.1007/3-540-48320-9_6",
)