Formal methods and software engineering : 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.). Cham : Springer, 2015