Antonia Bertolino, Guglielmo De Angelis, Andrea Polini. On-line validation of service oriented systems in the European Project TAS3. In International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2009, 18-19 May 2009, Vancouver, BC, Canada. pages 107-110, IEEE, 2009. [doi]