Madrid (Spain): two days workshop on the usage of the Exhaustif tool for railway systems