@inproceedings{JDM+4,
title = { Environment-Model Based Testing of Control Systems: Case Studies },
author = {Jahier, Erwan and Djoko-Djoko, Simplice and Maiza, Chaouki and Lafont, Eric},
month = {April},
year = {2014},
booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Held as Part of ETAPS 2014.},
address = {Grenoble, France},
publisher = {LNCS},
team = {SYNC},
}