2. Two dedicated models

3. A visual language, based on Petri nets, copes with the handling of the design of interactive systems

4. ICO specification

5. Application – Case study

6. Verity properties