Formal Verification of Signalling Programs with SafeCap. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2018)

SafeCap: from formal verification of railway interlocking to its certification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (CoRR, 2021)

Safety Invariant Verification that Meets Engineers' Expectations. - Alexei Iliasov; Linas Laibinis; Dominic Taylor; Ilya Lopatkin; Alexander B. Romanovsky (RSSRail, 2022)

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (RSSRail, 2023)

Practical Verification of Railway Signalling Programs. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (IEEE Trans. Dependable Secur. Comput., 2023)

Safety Invariant Engineering for Interlocking Verification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2024)