Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures - Bernardo, Marco; Inverardi, Paola (Lecture notes in computer science, 2003)