Louis-Marie Givel Jean-Luc Béchennec Matthias Brun 0001 Sébastien Faucou Olivier H. Roux Testing real-time embedded software using runtime enforcement. 199-204 2016 SIES https://doi.org/10.1109/SIES.2016.7509430 conf/sies/2016 db/conf/sies/sies2016.html#GivelBBFR16