You are about to access our book library "Formal Methods for Eternal Networked Software Systems: 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011 full version" .