Pdf Formal Techniques For Distributed Systems: Joint 14Th Ifip Wg 6.1 International Conference, Fmoods 2012 And 32Nd Ifip Wg 6.1 International Conference, Forte 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings