Table of Contents

1)     7.2.2 Constraints        
2)     7.4.2 Constraints        
3)     8.5.2 Constraints        
4)     8.5.3 Semantics          
5)     Bibliography               
6)     Appendix I  
Appendix I – Example language specification    
        I.1                   Conventions        
        I.2                   Lexical rules and names   
        I.3                   Organization        
        I.4                   Basic concepts    
        I.5                   Structure               
        I.6                   Communication 
        I.7                   State machine     
        I.8                   Sequential behaviour         
        I.9                   Data      
       I.10     Exceptions        
       I.11     Generic system definition              
Bibliography