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