ISA in Practice Case Study: TIVIT