Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems