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 (Springer, 2012)