Modell-Basierte Verifikation Von Vernetzten Mechatronischen SystemenMartin Hirsch · First published 2008Open the Tome