Modell-Basierte Verifikation Von Vernetzten Mechatronischen Systemen | lit.salon