@inproceedings{BBD9,
title = {Generation of Signals Under Temporal Constraints for CPS Testing },
author = {Barbot, Beno\^it and Basset, Nicolas and Dang, Thao},
year = {2019},
booktitle = {Nasa Formal Methods NFM 2019},
publisher = {Springer},
series = {Lecture Notes on Computer Science},
team = {axe_Mohytos, TEMPO},
}