Validating RT-LOTOS Specifications using the TINA tool