1. Belinfante, A., Feenstra, J., de Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal Test Automation: a Simple Experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th International Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, Dordrecht (1999)
2. Bozga, M., Fernandez, J.-C., Ghirvu, L.: Using static analysis to improve automatic test generation. Tools and Algorithms for Construction and Analysis of Systems, pp. 235–250 (2000)
3. Brinksma, E.: A theory for the derivation of tests. In: Aggarval, S., Sabnani, K. (eds.) Protocol Specification, Testing and Verification VIII, IFIP, pp. 63–74. Elsevier Science Publishers, B.V., North-Holland (1988)
4. Büchi, J.: On a decision method in restricted second order arithmetic. In: van Leeuwan, J., Nagel, E. (eds.) Logic, Methodology and Philosophy of Sciences. Stantford Univ. Press, Stantford (1962)
5. Lecture Notes in Computer Science;J.-C. Fernandez,1996