]. J. References-[-all83 and . Allen, Maintaining knowledge about temporal intervals, Commun. ACM, vol.26, issue.11, pp.832-843, 1983.

. Apache-software-foundation, Velocity Website Foundational Proof-Carrying Code, Proc. LICS '01, p.247, 2001.

M. Bakera, S. Jörges, and T. Margaria, Test your Strategy: Graphical Construction of Strategies for Connect-Four, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
DOI : 10.1109/ICECCS.2009.51

M. Bajohr and T. Margaria, MaTRICS: A service-based management tool for remote intelligent configuration of systems, Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009 Innovations in Systems and Software Engineering, pp.172-18199, 2006.
DOI : 10.1007/s11334-006-0003-y

M. Bakera, T. Margaria, C. Renner, and B. Steffen, Property-driven functional healing: Playing against undesired behavior, 10th CONQUEST, 2007.

M. Bakera, T. Margaria, C. Renner, and B. Steffen, Verification, diagnosis and adaptation: Tool supported enhancement of the model-driven verification process Space and Transport (ISOLA) Exemplified by a Generator for Certified Java Card Applets, Wrksh. on Formal Methods in AvionicsCG05] A. Coglio and C. Green. A Constructive Approach to Correctness Proc. VSTTECGP01] E. M. Clarke, O. Grumberg, and D.A. Peled. Model Checking, pp.85-98, 2001.

M. Dwyer, G. Avrunin, J. Corbett-denney, and B. Fischer, Patterns in Property Specifications for Finite-State Verification Extending Source Code Generators for Evidence-based Software Certification, Proc. ICSE '99 Proc. ISOLA '06, pp.411-420, 1999.

. K. Dkm-+-94-]-l, G. Dillon, L. E. Kutty, P. M. Moser, Y. S. Melliar-smith et al., A graphical interval logic for specifying concurrent systems Attempto controlled english -not just another logic specification language Verification of Compilers Algebraic laws for nondeterminism and concurrency, LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation Correct System Design Verified Software: Theories, Tools, Experiments. Vision of a Grand Challenge Project Proc. VSTTE, pp.131-165, 1985.

M. Hörmann, T. Margaria, T. Mender, R. Nagel, B. Steffen et al., The jABC Approach to Rigorous Collaborative Development of SCM Applications The Verifying Compiler: A Grand Challenge for Computing Research Formal verification with natural language specifications: guidelines, experiments and lessons so far The SPIN Model Checker : Primer and Reference Manual Intelligent Network -Global Functional Plane Architecture, Proc. ISoLAIT92] ITU-T. Recommendation Q.1203ITU93] ITU. General recommendations on telephone switching and signaling -intelligent network: Introduction to intelligent network capability set 1, Recommendation Q.1211, pp.724-73763, 1992.

C. [. Jörges, F. Kubczak, T. Pageau, S. Margaria, T. Jörges et al., Model Driven Design of Reliable Robot Control Programs Using the jABC FormulaBuilder: A Tool for Graph-based Modelling and Generation of Formulae, Proc. EASe '07 Proc. ICSE '06JMS08] S. Jörges, T. Margaria, and B. Steffen. Genesys: Service-Oriented Construction of Property Conform Code Generators . Innovations in Systems and Software Engineering, pp.137-148361, 2006.

T. [. Karusseit and . Margaria, Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service, Electronic Notes in Theoretical Computer Science, vol.157, issue.2, pp.101-118, 2006.
DOI : 10.1016/j.entcs.2005.12.049

C. Kubczak, T. Margaria, B. Steffen, and R. Nagel, Service-oriented Mediation with jABC/jETI, Koz83] D. Kozen. Results on the Propositional mu-Calculus. Theoretical Computer Science, pp.333-354, 1983.
DOI : 10.1007/978-0-387-72496-6_5

A. Lamprecht, T. Margaria, and B. Steffen, Data-Flow Analysis as Model Checking Within the jABC, Compiler Construction, pp.101-104, 2006.
DOI : 10.1007/11688839_9

A. Lamprecht, T. Margaria, B. Steffenmil89-]-r, . [. Milner, C. Margaria et al., Data-Flow Analysis as Model Checking Within the jABC Communication and Concurrency. Prentice Hall International Series in Computer Science Bio-jeti: a service integration, design, and provisioning platform for orchestrated bioinformatics processes, CC, pp.101-104, 1989.

M. Müller-olm, D. A. Schmidt, B. [. Steffen, B. Margaria, . Steffenms09-]-t et al., Model-Checking, Proc. ISoLA Handbook of Research on Business Process Modeling. IGI Global Necula. Proof-Carrying Code Proc. POPL '97 Necula. Translation Validation for an Optimizing Compiler. ACM SIGPLAN Notices, pp.330-354, 1997.
DOI : 10.1007/3-540-48294-6_22

. Nsm-+-01-]-o, B. Niese, T. Steffen, A. Margaria, G. Hagerer et al., Library-Based Design and Consistency Checking of System-Level Industrial Test Cases, Proc. FASE 2001OAS07] OASIS. WS-BPEL 2.0 Specificationwww.junit.org/. [QS82] J.-P. Queille and J. Sifakis. Specification and Verification of Concurrent Systems in CESAR. In Proc. 5th Colloquium on International Symposium on Programming, pp.233-248, 1982.

R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil, PROPEL, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.11-21, 2002.
DOI : 10.1145/581339.581345

B. Steffen, T. Margaria, V. Braun, and N. Kalt, Hierarchical service definition, Annual Review of Communication, pp.847-856, 1997.

T. Steffen, R. Margaria, S. Nagel, C. Jörges, . Kubczaksn07-]-b et al., Full Life-Cycle Support for End-to-End Processes, HVC -IBM Haifa Verification Conference, LNCS N.4383 TACS '91: Proceedings of the International Conference on Theoretical Aspects of Computer Software, pp.64-73, 1991.
DOI : 10.1109/MC.2007.386

I. Stürmer, D. Weinberg, and M. Conrad, Overview of existing safeguarding techniques for automatically generated code, Proc. SEAS '05The08] The jABC Team. jABC Common Sibs, pp.1-6, 2005.