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 22-27, 2003 : advanced lectures / Marco Bernardo,
Paola Inverardi (eds.). - Springer, 2003