Modell-basierte Verifikation von vernetzten mechatronischen Systemen / Martin Hirsch