Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers - Nils Przigoda; Robert Wille; Judith Przigoda; Rolf Drechsler (Springer, 2018)

Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. - Nils Przigoda; Judith Przigoda; Robert Wille (ISMVL, 2019)

Towards Automatic Design and Verification for Level 3 of the European Train Control System. - Robert Wille; Tom Peham; Judith Przigoda; Nils Przigoda (DATE, 2021)

Optimal Railway Routing Using Virtual Subsections. - Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (RSSRail, 2022)

Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. - Stefan Engels; Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (CoRR, 2023)