Epub Formal Methods And Software Engineering: 13Th International Conference On Formal Engineering Methods, Icfem 2011, Durham, Uk, October 26 28, 2011. Proceedings 2011