Modeling tools for the ITER Central Interlock System