FMOODS/FORTE'10 - Formal Techniques for Distributed Systems