Main advisor of Alexandre Carteron (Master student at INSA in Rennes, France) during his 5-months internship at SINTEF. During his stay, Alexandre will work on designing a tool-supported method for the testing of heterogeneous and distributed systems, based on the ThingML language.