``Advanced Mechanisms for Service Composition, Query and Discovery''
in Rigorous Software Engineering for Service-Oriented Systems, LNCS, 20 pages, Springer, to appear.
``Contract-Based Discovery and Composition of Web Services''
in Formal Methods for Web Services, Advanced Lectures, LNCS 5569: 261 - 295, Springer, 2009.
``Real Time and Stochastic Time''
in ``Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures'', M. Bernardo and F. Corradini eds., LNCS 3185: 132-180, 2004
in ``Validation of Stochastic Systems - A Guide to Current Research'', Christel Baier et al eds., LNCS 2925: 44-88, 2004
``Two Formal Approaches for Approximating Noninterference Properties''
in ``Foundations of Security Analysis and Design II'', R. Focardi and R. Gorrieri eds., LNCS 2946: 1-43, 2004