2023-08-212023-08-21https://hdl.handle.net/11420/4288926. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2023Workshop