REFERENCES
- BAVEL , Z. , 1983 , Introduction to the Theory of Automata ( Reston , VA : Reston Publishing ).
- Ross , D. T. , 1977 , I. E. E. E. Trans. Software Eng , 3 .
- SALTER , K. , 1976 , Proc. 2nd Int. Conf. Software Engineering , San Francisco .
- SOCIÉTÉ VERILOG TOULOUSE , 1986 , ASA Méthode de modélisation de spécifications fonction-nelles par I' analyse structurée et les automates . DV/AR/05.86/05 .