4.1 (Ana)Tempura
4.2 FLCheck: Fusion Logic decision Procedure
4.3 ITL library for Isabelle/HOL
4.4 ITL Theorem Prover based on Prover9
4.5 ITL Proof Checker based on PVS
4.6 Automatic Verification of Interval Temporal Logic