Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings - Méry, Dominique; Merz, Stephan (Springer Berlin Heidelberg : Imprint: Springer, 2010)