MODELING OF RELAY-BASED RAILWAY INTERLOCKING SYSTEMS WITH TLA+. - GRZYBOWSKI, Michał; MŁYŃCZAK, Jakub; SOKOŁOWSKA, Lucyna; MATOWICKI, Michał (Transport Problems: an International Scientific Journal, 2026)