Environment-Model Based Testing of Control Systems: Case Studies. - Erwan Jahier; Simplice Djoko Djoko; Chaouki Maiza; Eric Lafont (TACAS, 2014)