1. R. Alur & D.L. Dill (1990): Automata For Modeling Real-Time Systems.. In: ICALP, pp. 322–335, doi:10.1007/BFb0032042.
  2. R. Alur & D.L. Dill (1994): A Theory of Timed Automata. Theoretical Computer Science 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  3. G. Behrmann, A. David & K. G. Larsen (2004): A tutorial on Uppaal. Formal Methods for the Design of Real-Time Systems 3185, pp. 200–236.
  4. ebXML: Electronic Business using eXtensible Markup Language.
  5. J. Hatcliff, G.T. Leavens, k.R.M. Leino, P. Müller & M. Parkinson (2009): Behavioral Interface Specification Languages. Technical Report CS-TR-09-01. School of EECS, University of Central Florida.
  6. K. G. Larsen, Z. Pettersson & Y. Wang (1997): UPPAAL in a Nutshell. STTT: International Journal on Software Tools for Technlogy Transfer 1(1–2), pp. 134–152, doi:10.1007/s100090050010.
  7. E. Martínez, Díaz, G. & Cambronero (2010): Visual Specification of Formal e-Contracts. Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010), pp. 55–61.
  8. E. Martinez, G. Diaz, M. E. Cambronero & G. Schneider (2010): A Model for Visual Specification of e-Contracts. In: The 7th IEEE International Conference on Services Computing (IEEE SCC'10), pp. 1–8, doi:10.1109/SCC.2010.32.
  9. P. McNamara (2006): Deontic Logic. In: Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic 7. North-Holland Publishing, pp. 197–289, doi:10.1016/S1874-5857(06)80029-4.
  10. B. Meyer (1986): Design by Contract. Technical Report TR-EI-12/CO. Interactive Software Engineering Inc..
  11. J. C. Okika & A. P. Ravn (2008): Classification of SOA Contract Specification Languages. In: 2008 IEEE International Conference on Web Services (ICWS'08). IEEE Computer Society, pp. 433–440, doi:10.1109/ICWS.2008.36.
  12. C. Prisacariu & G. Schneider (2009): CL: An Action-based Logic for Reasoning about Contracts. In: 16th Workshop on Logic, Language, Information and Computation (WOLLIC'09), LNCS 5514. Springer, pp. 335–349, doi:10.1007/978-3-642-02261-6_27.
  13. Web Services Agreement Specification (WS-Agreement).
  14. WSLA: Web Service Level Agreements.

Comments and questions to:
For website issues: