Real-time Systems in Tokamak Devices. A Case Study: the JET Tokamak