An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation. - Eva Kühn; Sophie Therese Radschek (SEFM Workshops, 2017)

Distributed Coordination Runtime Assertions for the Peer Model. - Eva Kühn; Sophie Therese Radschek; Nahla A. El-Araby (COORDINATION, 2018)

Towards a Hybrid Verification Approach. - Nahla A. El-Araby; Eva Kühn; Anita Messinger; Sophie Therese Radschek (STAF Workshops, 2018)