21 July 2020
Several formal techniques based on B have been presented to an academic audience. A technical presentation of teh CLEARSY Safety Platform was given to the NewRail Center for Railway Research.