@InProceedings{,
author="Tom{\'a}{\v{s}} Kol{\'a}rik and Stefan Ratschan ",
editor="Marsha Chechik and Joost-Pieter Katoen and Martin Leucker",
title="Railway Scheduling Using Boolean Satisfiability Modulo Simulations",
booktitle="Formal Methods",
year="2023",
publisher="Springer International Publishing",
address="Cham",
series="LNCS",
number="14000",
pages="56--73"
}