Title: Modell-Basierte Verifikation Von Vernetzten Mechatronischen Systemen