1. A. Arnould, P. Le Gall, and B. Marre. Dynamic testing from bounded data type specifications. In Proc. of EDCC-2 Second European DependdableComputing Conference, Taormina, Italy, 1996.
2. G. Bernot, H. Jouve, F Klay, F Ouabdesselam, and J.-L. Richier. Aide à l’intégration de services par la génération de tests. In AFADL’OO, Grenoble, France, 2000.
3. L.G. Bouma and H. Velthuijsen, editors. Feature Interactions in Telecommunications and Software Systems (FIW’95). IOS Press, 1995.
4. L.G. Bouma and H. Velthuijsen, editors. Feature Interactions in Telecommunications and Software Systems (FIW’98). IOS Press, 1998.
5. Jan Bredereke. Families of Formal Requirements in Telephone Switching. In [6], pages 257–273, 2000.