Dieses Buch beleuchtet modellbasiertes Testen von Echtzeitsystemen, fokussiert auf Konformitätstests bei teilweise beobachtbaren und nichtdeterministischen Zeitanalysen, und bietet praxisorientierte Strategien zur Fehlererkennung.