The Interval Temporal Logic web site is not hosted at this University anymore.