The paper entitled “Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning”, written by Didier Lime, Claude Jard and I, has been accepted to iFM 2019 ! I will present this paper in Bergen, Norway !