Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. - Signe Geisler; Anne E. Haxthausen (ISoLA (3), 2020)

Stepwise development and model checking of a distributed interlocking system using RAISE. - Signe Geisler; Anne Elisabeth Haxthausen (Formal Aspects Comput., 2021)