   
 26 Exercises First Order ITLExercise 8 Give the semantics of the following formulae:
Exercise 9 Give the formal semantics of Exercise 10 Give the informal semantics (picture) of following formulae:
Exercise 11 Given informal specification
Give the corresponding ITL formula. Exercise 12 Given the following “formal specification” Give the corresponding ITL formula.   

 