Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings (Lecture notes in computer science, 2010)