Integrating UML/OCL Derived Properties into Validation and Verification Processes. - Frank Hilken; Marcel Schuster; Karsten Sohr; Martin Gogolla (OCL@MoDELS, 2016)

Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. - Marcel Schuster; Markus Germeier; Frank Hilken; Martin Gogolla; Karsten Sohr (Modellierung, 2020)