On the need for a visual notation for ITL

The talk introduces the formal language, Interval Temporal Logic(ITL), discusses the 'lean approach' to formal methods, argues the need for a visual notation for ITL and presents such a visual notation. The talk concludes indicating directions I planned to take for subsequent work towards my PhD.