Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)