Material

• T. Margaria: Web Services-Based Tool-Integration in the ETI Plattform, SoSyM, Int. Journal on Software and System Modelling, Vol. 4, N. 2, May 2005, pp. 141 - 156,Springer Verlag, (available in Online First,DOI: 10.2007/s10270-004-0072-z)(Download).
• T. Margaria, R. Nagel, B. Steffen: jETI: A Tool for Remote Tool IntegrationProc. TACAS'05, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh (Scotland), April 2005, LNCS 3440, pp. 557-562 , Springer Verlag.(Download)
• Documentation (PDF, free)
• jETItoolserver (requires password) COMING SOON