Bas Luttik will deliver an invited talk on modelling and verification in the railway domain Uncategorized admin / March 21, 2022 Bas Luttik accepted our invitation to deliver an invited talk about verification in the railway domain.