selected publications chapter Formal Methods for Railway Disasters Prevention. IFIP advances in information and communication technology. 161-176. 2019