MBMV 2020 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ; GMM/ITG/GI-Workshop 19.-20. März 2020 in Stuttgart (VDE VERLAG, 2020)