5 février 2018
Une présentation de techniques formelles basées sur B a été faite pour une audience académique. Une présentation technique de la CLEARSY Safety Platform a été faite au NewRail Center for Railway Research.