In: Proceedings of the 49th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2016), 49th, January 5-8, Kauai, HI, USA, Pages 5065-5074, IEEE Computer Society, 2016.
In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 1-2, Freiburg, Germany, 2016.