Real-Time and Hybrid Systems Testing. - Kirsten Berkenkötter; Raimund Kirner (Model-Based Testing of Reactive Systems, 2004)

Executable HybridUML and Its Application to Train Control Systems. - Kirsten Berkenkötter; Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (SoftSpez Final Report, 2004)

OCL-Based Validation of a Railway Domain Profile. - Kirsten Berkenkötter (MoDELS (Workshops), 2006)

Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. - Kirsten Berkenkötter; Ulrich Hannemann (SAFECOMP, 2006)

Design of a Railway Domain Profile and its OCL-based Validation. - Kirsten Berkenkötter (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

The HybridUML profile for UML 2.0. - Kirsten Berkenkötter; Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2006)

Reliable UML Models and Profiles. - Kirsten Berkenkötter (SSV, 2008)