TINA 3.8.5 screenshot TINA: A powerful tool for modeling and analyzing timed systems efficiently. Download TINA 3.8.5