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