@article{FFJ+12,
title = {More testable properties },
author = {Falcone, Ylies and Fernandez, Jean-Claude and J\'eron, Thierry and Marchand, Herv\'e and Mounier, Laurent},
year = {2012},
journal = {STTT},
number = {4},
pages = {407-437},
volume = {14},
team = {DCS,PACSS},
}
