
| 
         
            § 
     | 
         
            The rationale behind the need to change 
     | 
| 
         
            § 
     | 
         
            The changes to the ‘core text’ 
     | 
| 
         
            § 
     | 
         
            The structure of and how to use the new documentation 
     | 
| 
         
            § 
     | 
         
            Technical supplements : 
     | 
| 
         
            ○ 
     | 
         
            Object Oriented and Related Technologies  
     | 
| 
         
            ○ 
     | 
         
            Model Based Development and Verification 
     | 
| 
         
            ○ 
     | 
         
            Formal Methods 
     | 
| 
         
            § 
     | 
         
            Tool Qualification  
     |